[PRQ#78195] Merge Request for widelands-debug-git