[patch] patch
php7.2.1.diff (text/plain), 874 bytes, created by Jochen Neumeister on 2018-01-06 18:40:42 UTC
(hide)
 
Creator: Jochen Neumeister
Created: 2018-01-06 18:40:42 UTC
Size: 874 bytes
Actions: View | Diff
Attachments on bug 224953: 189467