This message was deleted.

I ended up here after clicking merge when ready, not doing anything else. After a minute or two, it changed to merged.

Hmmm thanks for flagging