[packages/php/dev-7.3] x32 upstreamed

[glen]

commit 7f8b5f31b4663574218192651df4c32db8da212e
Author: Elan Ruusamäe <glen at pld-linux.org>
Date:   Tue Nov 13 19:28:59 2018 +0200

    x32 upstreamed

 x32.patch | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/x32.patch b/x32.patch
index a56457a..05b080a 100644
--- a/x32.patch
+++ b/x32.patch
@@ -1,3 +1,5 @@
+https://github.com/php/php-src/pull/3665
+
 --- php-7.3.0RC3/Zend/zend_string.c~	2018-10-09 11:26:41.000000000 +0200
 +++ php-7.3.0RC3/Zend/zend_string.c	2018-10-24 22:05:01.639560148 +0200
 @@ -392,7 +392,7 @@
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/php.git/commitdiff/7f8b5f31b4663574218192651df4c32db8da212e