fix merge-base compilation when running directly on main#11117
Merged
erik-krogh merged 2 commits intogithub:mainfrom Nov 4, 2022
Merged
fix merge-base compilation when running directly on main#11117erik-krogh merged 2 commits intogithub:mainfrom
erik-krogh merged 2 commits intogithub:mainfrom
