[patch] Patch fixing the implementation of grub_cmd_del_dns()
1001-dns-fixed-removal-of-DNS-server.patch (text/plain), 1011 bytes, created by Renaud Métrich on 2023-04-07 11:14:36 UTC
(hide)
 
Creator: Renaud Métrich
Created: 2023-04-07 11:14:36 UTC
Size: 1011 bytes
Actions: View | Diff
Attachments on bug 2185185: 1956220