[patch] My proposed patch
php80-fix.patch (text/plain), 590 bytes, created by Luca Pizzamiglio on 2020-10-23 07:56:24 UTC
(hide)
 
Creator: Luca Pizzamiglio
Created: 2020-10-23 07:56:24 UTC
Size: 590 bytes
Actions: View | Diff
Attachments on bug 250531: 218977 | 218979 | 218995