Updates for the release of 23.0.0.12#27

github-actions[bot] wants to merge 2 commits intovNextwraschke/ci.docker:vNextfrom

23.0.0.12-releasewraschke/ci.docker:23.0.0.12-releaseCopy head branch name to clipboard