[patch] Patch to change default version of PHP
php71-default-version.diff (text/plain), 449 bytes, created by Torsten Zuehlsdorff on 2018-07-23 15:20:38 UTC
(hide)
 
Creator: Torsten Zuehlsdorff
Created: 2018-07-23 15:20:38 UTC
Size: 449 bytes
Actions: View | Diff
Attachments on bug 229982: 195391