tree 63af097abc64b4265433b6bf2baf6cf46fb52840
parent e47a3124f80be93ad3f121a1e55613d5df05215f
author Thomas Maeder <tmaeder> 1080643807 +0000
committer Thomas Maeder <tmaeder> 1080643807 +0000

fix for bug 56714