x32 upstreamed

diff --git a/x32.patch b/x32.patch
index a56457ae9a2b5cce407c132084f9af2c6a95cc06..05b080af9a1a273aa687a31b21b247c0697f3d6a 100644 (file)
--- 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 @@