@hundreds-father-404 Are you happy with https://github.com/pantsbuild/pants/issues/8989 (which I just linked to from comments in https://github.com/pantsbuild/pants/pull/8982) so I can merge the release?

Yes absolutely. Thank you for opening the issue