Hi, I've just installed 1:1.18.1-1+deb7u2 on jenkins.d.n, soon we will know whether this fix is really working as expected. I assume yes, so I will only send another reply to 702746 if it turns out not to.
cheers & thanks for fixing this,
Holger
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]
