[patch] save menu ID instead of menu label (mga#18560)
0001-save-menu-ID-instead-of-menu-label-mga-18560.patch (text/plain), 2.39 KB, created by Thierry Vignaud on 2016-06-22 02:12:28 CEST
(hide)
 
Creator: Thierry Vignaud
Created: 2016-06-22 02:12:28 CEST
Size: 2.39 KB
Actions: View | Diff
Attachments on bug 18560: 7867 | 7868 | 8048