Hi Julien,
thank you for your interest in mini-dinstall and your bug report. This sounds like a good idea indeed, I'll look into implementing it.
Kind regards
Thomas -- Thomas Viehmann, mini-dinstall maintainer, <http://thomas.viehmann.net/>
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
