<div dir="ltr">(Sorry, typoed the mailing list address; but the BTS did the right thing.  One day I'll learn not to send email late at night!)<br clear="all"><div><div><div class="gmail_extra"><br>-- <br><div class="gmail_signature">Tim Retout <<a href="mailto:diocles@debian.org" target="_blank">diocles@debian.org</a>></div>
</div></div></div></div>