On Sat, Nov 5, 2016 at 1:25 PM, Michael Vogt wrote: > Thanks for this reminder Paul! #828215 is fixed in git and will be > part of the next upload (which should happy early next week). Thanks! If you have time, a fix for jessie/wheezy would be appreciated too. -- bye, pabs https://wiki.debian.org/PaulWise