]> granicus.if.org Git - php/commitdiff
projects / php / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 581dca4 742895f)
Merge branch 'PHP-7.2'
authorFrank Denis <github@pureftpd.org>
Mon, 24 Jul 2017 12:26:47 +0000 (14:26 +0200)
committerFrank Denis <github@pureftpd.org>
Mon, 24 Jul 2017 12:26:47 +0000 (14:26 +0200)
* PHP-7.2:
  sodium ext: don't reinvent sodium_increment() and sodium_add()


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.