On 11/8/20 12:34 PM, Michael Paquier wrote:
> On Sat, Nov 07, 2020 at 10:45:26PM -0500, Tom Lane wrote:
>> The weekend before stable-branch releases is probably not the best
>> time to be pushing "minor" fixes into those branches. I got my
>> fingers burned today, and so did Peter. Don't follow our example ;-)
>
> You could just apply your stuff after the version is tagged (not
> stamped as there could be urgent bug fixes between the stamp time and
> the tag time, like packaing issues).
Yeah, that's what I was planning to do - I was not suggesting I'll push
this right away. Or at least I did not mean to. Sorry if that was not
quite clear.
regards
--
Tomas Vondra
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
