close 292720 thanks
This turned out to be a configuration error on my side, with no maintainer scripts involved.
Sorry for this useless bug report.
Thomas
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
