tags 11377 + wontfix close 11377 stop Reference: <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11377>
No more activity on this wishlist and controversial bug for an year and a half. I'm thus closing it to reduce the clutter in our bug tracker. Regards, Stefano
