Daniel Baumann Fri, 14 Oct 2016 23:45:34 -0700
tag 832346 + pending thanks This is fixed in git and part of the next upload (in time for stretch).
Regards, Daniel