On Sun, 08. Feb 22:11 Ivo De Decker <ivodd@debian.org> wrote: > Hi, > > On Sat, Jan 31, 2015 at 07:00:28PM +0100, Markus Koschany wrote: > > Ok. Makes sense. I understand that only a minority of users is affected > > by that. If you think it's not worth including, so be it. I thought the > > change was trivial enough to make everybody happy. > > As the change is already in unstable, I unblocked it anyway. > > Cheers, > > Ivo > Thanks, Ivo.