GitLab does not recognize nothrow being merged
I get the message that someone with write access can merge the branch, since it is able to be merged automatically. I cannot do that though. Even though I was able to do just that for the fix warnings branch... I have merged the branches using the CLI, so it should already be merged.
Maybe just close the merge request with a comment indicating this?