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

Reply via email to