[patch] enable to disable gurpmi usage
0001-enable-to-disable-gurpmi-usage.patch (text/plain), 1.00 KB, created by Thierry Vignaud on 2016-06-20 20:26:36 CEST
(hide)
 
Creator: Thierry Vignaud
Created: 2016-06-20 20:26:36 CEST
Size: 1.00 KB
Actions: View | Diff
Attachments on bug 18739: 8029 | 8032 | 8033