Bug#933368: forcibly merging 933368 923567, closing 933368

[Christoph Berg]

forcemerge 933368 923567
close 933368 9.6.15-0+deb9u1
thanks

This has been fixed in yesterdays security release.