From: Frank Denis <github@pureftpd.org>
Date: Mon, 24 Jul 2017 12:26:47 +0000 (+0200)
Subject: Merge branch 'PHP-7.2'
X-Git-Tag: php-7.3.0alpha1~1807
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=5d5a3d9ad6379f05d145df83a64e5e5cd4849617;p=php

Merge branch 'PHP-7.2'

* PHP-7.2:
  sodium ext: don't reinvent sodium_increment() and sodium_add()
---

5d5a3d9ad6379f05d145df83a64e5e5cd4849617