Hi, On 2022-02-09 10:23:06 +0900, Michael Paquier wrote: > On Tue, Feb 08, 2022 at 04:43:47PM -0800, Andres Freund wrote: > > Ugh. Do we need to do something about WRT the next set of minor > > releases? > > The set of minor releases of this week has already been stamped, so > that's too late :/
It's stamped, not tagged, so we could send out new tarballs. Or we could skip a release number. IIRC we had to do something along those lines before. > Ugh++. The problem is that we would not really detect that > automatically, isn't it? What do you mean with detect here? Greetings, Andres Freund