Closed thibaultduponchelle closed 1 month ago
@jkeenan
This should have happened automatically when syncing, right?
Yes, it should have, and I overlooked that in my review of GH #22591 because I was focused on other aspects of that synch. I'll do a bit of investigation.
Changes
DISTRIBUTION
andSYNCINFO
in Porting/Maintainers.pl after recent update ofversion