On Thu, 2013-03-14 at 00:00 +0100, Sven Joachim wrote: > dpkg-divert http://www.debian-administration.org/articles/118 I wasn't aware that it's that easy :D, not especially regarding to the GRUB issue, but it would have saved me some work with other packages. OTOH, because I wasn't aware of this, I learned a lot of other things.