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
>