Marge Bot Batch MR - DO NOT TOUCH

added wip/marge_bot_batch_merge_job label

added 6 commits

• 63d348f3...6b9db7d4 - 3 commits from branch master
• d5dae649 - Substitute free variables captured by breakpoints in SpecConstr
• 07f8af22 - Reinstate untouchable variable error messages
• 723a1d8f - configure: Drop Clang command from settings

Compare with previous version

mentioned in merge request !10550 (closed)

mentioned in merge request !10809 (closed)

mentioned in merge request !10800 (closed)

closed