[patch] save menu ID instead of menu label (mga#XXXX)
0002-save-menu-ID-instead-of-menu-label-mga-XXXX.patch (text/plain), 1.51 KB, created by Thierry Vignaud on 2016-05-27 17:08:20 CEST
(hide)
 
Creator: Thierry Vignaud
Created: 2016-05-27 17:08:20 CEST
Size: 1.51 KB
Actions: View | Diff
Attachments on bug 18560: 7867 | 7868 | 8048