This message was deleted.

Not off the top of my head, but it was 7.5. :-)

Thanks! Did you have a quick way of figuring that out? It's these moments I really wish there was a release notes page with all versions merged, I'm almost certain I remember reading about it a long time ago but don't enjoying playing release-notes-whack-a-mole. Maybe it's time I wrote a release notes merge script.

You could use Google with a

site:...

term. What I did was to get the issue or pr and check its milestone, then verified in the release notes. If that wouldn't have worked, I searched in Git where it was added and again verified in release notes.