On Tue, 2019-02-19 at 17:18 +0100, Giovanni Biscuolo wrote: > do you have the bug number now?
34565 https://debbugs.gnu.org/cgi/bugreport.cgi?bug=34565 It seems to be disabled at build time only.
signature.asc
Description: This is a digitally signed message part