[patch] proposed patch
proposed.patch (text/plain), 489 bytes, created by Miklos Szeredi on 2019-09-25 08:32:18 UTC
(hide)
 
Creator: Miklos Szeredi
Created: 2019-09-25 08:32:18 UTC
Size: 489 bytes
Actions: View | Diff
Attachments on bug 1749390: 1618935 | 1621014