On 2015-12-11 21:38:24 [+0100], Sebastian Andrzej Siewior wrote: > I pushed yesterday 0.99+dfsg-0+deb8u1 into the Jessie branch. It is and now 0.99+dfsg-0+deb7u1 into the Wheezy branch… Sebastian