[04:59] <lotuspsychje> good morning to all
[06:33] <ducasse> morning all
[08:28] <ducasse> is grub-efi-amd64-signed suddenly deprecated? this morning's update removed it.
[11:13] <OerHeks> ducasse, ???
[11:13] <OerHeks> any w10 anniversary update perhaps ??
[11:37] <ducasse> i have no idea why it was removed, and i can't find any mention of it online. other grub packages were updated as well, but there were no conflicts or anything.
[11:38] <OerHeks> no w10 on that machine? i ask, as there was a message going round about that update removing stuff
[11:40] <ducasse> no windows at all anywhere in the house :) besides, that mentioned removing partitions, not individual packages. no, this was part of a regular update.
[11:40] <OerHeks> oke :-)
[11:41] <ducasse> should mention; this machine uses -proposed, so the grub packages could be from there. i'll check.
[11:43] <ducasse> yeah, grub-efi-amd64 is 2.02~beta2-36ubuntu3.3 from proposed.
[11:43] <OerHeks> :-)
[11:45] <ducasse> are there any appropriate channels to ask if this could be a packaging bug?
[11:45] <OerHeks> #ubuntu-packaging ?
[11:46] <ducasse> thanks, i'll try there.
[12:24] <BluesKaj> Hey folks
[12:33] <OerHeks> hi BluesKaj
[12:33] <BluesKaj> Hey OerHeks
[12:49] <pauljw_vm> Hi everyone
[12:55] <ducasse> \o
[13:04] <BluesKaj> 'Morning pauljw_vm, ducasse
[13:04] <pauljw_vm> hey BluesKaj :)
[13:04] <pauljw_vm> ducasse o/
[13:05] <BluesKaj> finally a cool off here...rain and 22C/72F
[13:06] <ducasse> how is everyone today?
[13:06] <BluesKaj> fine here ducasse, and you?
[13:07] <pauljw_vm> good so far here, but it's early yet.
[13:12] <ducasse> fine thanks, having a very quiet weekend.