Merged lp:~widelands-dev/widelands/bug-1750343-priorities-barracks:
Fixing bug 1750343: When doing a Ctrl+Click on a priority button and the building also has a worker queue, the game crashes. Problem was a missing check whether the priority button of the queue exists before modifying it.