Merge branch 'ar/userdiff-java-update'
commit4a6e6b0d5b91b0db45c6fefc8a0f17af2c4b3b83
authorJunio C Hamano <gitster@pobox.com>
Thu, 16 Feb 2023 01:11:52 +0000 (15 17:11 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 16 Feb 2023 01:11:52 +0000 (15 17:11 -0800)
tree0b421dcb8357ffdf56973a05c0af92e6eeaae52e
parentf7c208cdf5b10df89a28320628e19e4c4a121629
parent93d52ed050f5613897b73e75961df5c589d63a4b
Merge branch 'ar/userdiff-java-update'

Userdiff regexp update for Java language.

* ar/userdiff-java-update:
  userdiff: support Java sealed classes
  userdiff: support Java record types
  userdiff: support Java type parameters