Yes, this bug I have.

[stardiviner]           <Hack this world!>      GPG key ID: 47C32433
IRC(freeenode): stardiviner                     Twitter:  @numbchild
Key fingerprint = 9BAA 92BC CDDD B9EF 3B36  CB99 B8C4 B8E5 47C3 2433
Blog: http://stardiviner.github.io/

On Tue, Oct 11, 2016 at 8:47 PM, Andreas Politz <politza@hochschule-trier.de> wrote:

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=24238

This one ?

-ap