On Sun, 08. Feb 22:11 Ivo De Decker <iv...@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.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org