assigned to @nicolas.pope
added Bug label
mentioned in commit 170db52a
mentioned in commit 6d362abe
Subject to more extensive testing, I believe this is now really stable. Some fixes are in GUI branch, but those mostly relate to GUI branch specific issues...
closed
mentioned in commit 5bb1fef6
