2016-05-10 23:54 GMT+02:00 Ricardo Wurmus <[email protected]>: Could you please send a copy of this email to [email protected], so that > we can keep track of this in the bug tracker? > > Thank you! >
Here it is http://debbugs.gnu.org/cgi/bugreport.cgi?bug=23514
