Heinrich Schuchardt Sat, 22 Oct 2016 22:52:17 -0700
The bug is not reproducable after the latest apt-get updates. Please, close this bu report it.