Create a 1.2.3 patch release to include the header bar button size fix
Please create a 1.2.3 release incorporating !761 (merged) if possible so that it is available for downstream packagers, since the fix has been unreleased since the beginning of May.
Edited by Andre Klapper