tree ad8bdcd66193534fda8a4a4b66bf1e147c4fb4d0
parent c6b8a1be3629a7c02a82f9b4bb7ccea6c8bca394
author Dani Megert <dmegert> 1332936775 +0200
committer Dani Megert <dmegert> 1332936775 +0200

Backported fix for bug 371687: Deadlocks on workspace startup