tags 8599 notabug close 8599 stop Reference: <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8599>
It seems that all the issues relevant to this report where either solved or offered viable and "blessed" workarounds, but I still forgot to close the bug. Doing it now to remove some old clutter from our bug tracker. Regards, Stefano
