Andreas Tille Sat, 06 Jan 2018 23:18:46 -0800
This bug was closed in the upload of 0.13.1-1 - no idea why it was not closed.
-- http://fam-tille.de