]> git.ipfire.org Git - thirdparty/git.git/commit
Merge branch 'js/userdiff-php'
authorJunio C Hamano <gitster@pobox.com>
Tue, 27 Oct 2020 22:09:46 +0000 (15:09 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 27 Oct 2020 22:09:46 +0000 (15:09 -0700)
commita8a49ebf61449f80d8c5ea2f9768f0ca590e51dd
tree7e2d330cdb4f7784076ed0e950d85b6b15b9cf47
parent1d1c4a875900d69c7f0a31e44c3e370dc80ab1ce
parentaff92827b54f4b7f9e339982a49bab4bdbd1fc55
Merge branch 'js/userdiff-php'

Userdiff for PHP update.

* js/userdiff-php:
  userdiff: PHP: catch "abstract" and "final" functions