Hi, On Fri, Aug 17, 2018 at 10:20:13AM +0200, Simon Josefsson wrote: > Done, see: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=906319
Perfect, thank you! Regards, Salvatore
Hi, On Fri, Aug 17, 2018 at 10:20:13AM +0200, Simon Josefsson wrote: > Done, see: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=906319
Perfect, thank you! Regards, Salvatore