> On Sep 22, 2022, at 8:02 AM, Alvaro Herrera <alvherre@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