> On Sep 22, 2022, at 8:02 AM, Alvaro Herrera <alvhe...@alvh.no-ip.org> wrote:
> 
> FWIW I put this to CI:
> https://cirrus-ci.com/build/5823276948652032 (master)
> 
> and everything appears to be OK.  If anybody has reservations about this
> grammar change, please speak up soon, as there's not much time before RC1.
> 
> The one for 15 just started running:
> https://cirrus-ci.com/build/4735322423558144

[personal hat, not RMT]

Looks like it passed. No objections.

Jonathan 




Reply via email to