The bug will be closed with the next upload, given that we decided to replace kill with /bin/kill to make lintian happy. Unfortnately, /bin/kill is provided by procps.
Sorry for the inconvenience. ciao, ema -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]