Processed: merge
Processing commands for control@bugs.debian.org:
> severity #838177 important
Bug #838177 [os-prober] os-prober: Fails to generate correct initrd line for Arch Linux if microcodes are installed
Severity set to 'important' from 'normal'
> merge #820838 #838177
Bug #820838 [os-prober] os-prober: 40grub2 does not handle multiple initrd paths
Bug #820838 [os-prober] os-prober: 40grub2 does not handle multiple initrd paths
Marked as found in versions os-prober/1.71.
Bug #838177 [os-prober] os-prober: Fails to generate correct initrd line for Arch Linux if microcodes are installed
Marked as found in versions os-prober/1.63.
Added tag(s) patch.
Merged 820838 838177
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
820838: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=820838
838177: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=838177
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: