> From: l...@gnu.org (Ludovic Courtès) > Date: Mon, 13 Jul 2015 16:24:33 +0200 > > Unfortunately the Emacs Info reader has had the same problem for a long > time, but I suppose this one should go to bug-emacs?
Yes, but what Emacs did you try that in? v24.5 works OK for me, but I do indeed see a problem in the current development trunk.
