=== drr is now known as bg === Guest20326 is now known as vibhav === vibhav is now known as Guest73906 === Guest73906 is now known as vibhav_ === vibhav_ is now known as vibhav === smartboyhw__ is now known as smartboyhw [13:41] cjwatson: I'll argue that there are at least two proper problems then ... a) when /etc/default/grub.d/* is present grub-pc will create a bogus /etc/default/grub (e.g. missing quiet splash) b) grub-installer currently does not update-grub after fiddeling with default/grub [13:42] former you can reproduce by purging grub-pc then placing something in grub.d (for instance install kubuntu-settings-desktop), then install grub-pc and check the bogus default/grub [14:17] Hmm thought of an interesting thing: How long have teams and flavours not sending status reports to the ubuntu-release mail list? === bladernr` is now known as bladernr === Ursinha is now known as Ursinha-afk === Ursinha-afk is now known as Ursinha === iulian is now known as Guest55999 === Guest55999 is now known as iulian === Ursinha-afk is now known as Ursinha === Ursinha is now known as Ursinha-afk === popey_ is now known as popey === Ursinha-afk is now known as Ursinha