Dear, The bug #23286 is more than 3 years old. What is the status? Any progress? :-)
[1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=23286 All the best, simon
Dear, The bug #23286 is more than 3 years old. What is the status? Any progress? :-)
[1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=23286 All the best, simon