On 15.02.2018 13:03, Bernhard Schmidt wrote: Hi,
> I have filed https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890506 > with the release team to get this fix into Stretch. Updated package is available in stretch-proposed-updates now and should be part of the 9.4 point release, scheduled for March 10th. Bernhard