]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'jv/userdiff-csharp-update'
authorJunio C Hamano <gitster@pobox.com>
Thu, 8 Jul 2021 20:15:01 +0000 (13:15 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 8 Jul 2021 20:15:01 +0000 (13:15 -0700)
The userdiff pattern for C# learned the token "record".

* jv/userdiff-csharp-update:
  userdiff: add support for C# record types


Trivial merge