6) bzr revert -r6696; then ./compile.sh again --> Bug REAPPEARED!
7) ./update.sh to 6708 --> Bug still present!
8) bzr revert -r6655; ./update.sh (without recompiling) --> Bug NOT present!
It gets stranger and stranger...
6) bzr revert -r6696; then ./compile.sh again
--> Bug REAPPEARED!
7) ./update.sh to 6708
--> Bug still present!
8) bzr revert -r6655; ./update.sh (without recompiling)
--> Bug NOT present!
It gets stranger and stranger...