Hi Ingo, Ingo Lohmar <ingo.loh...@posteo.net> writes:
> I am confused, I thought this was fixed, but I have a really hard to find > the bug.. > > Some time later: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=38330 Yes, it is fixed, I couldn't find the reference for this bug. -- Bastien
