Over the course of the past year I have several times tried to reproduce
this bug, but I have not succeeded. Indeed, I also no longer see the bug
without a manual build (i.e. the version as installed by Debian). I think
this can be closed for lack of progress / reproducability.

Reply via email to