Merge branch 'fix-mrab-bootstrap-finalization' of...

Merge branch 'fix-mrab-bootstrap-finalization' of https://gitlab.tiker.net/inducer/leap into fix-mrab-bootstrap-finalization