Bug#887385: Stretch Proposed Update request filed

[Bernhard Schmidt]

I have filed https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890506
with the release team to get this fix into Stretch.