tags 638277 + moreinfo tags 638277 + unreproducible thanks Dear christophe,
Could you retry with newer version and report. Feel free to close this bug report is needed. Thanks Bastien -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org