Re: designated initializers

2022-08-11 Thread Alvaro Herrera
Hello On 2022-Aug-10, Andres Freund wrote: > +1 I've fought with this one when fixing a conflict when rebasing a patch... Right -- pushed, thanks. -- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/

Re: designated initializers

2022-08-10 Thread Andres Freund
Hi, On 2022-08-10 16:03:00 +0200, Alvaro Herrera wrote: > (Coming from > https://postgr.es/m/20220809193616.5uucf33piwdxn452@alvherre.pgsql ) > > On 2022-Aug-09, Alvaro Herrera wrote: > > > On 2022-Aug-09, Andres Freund wrote: > > > > > Mildly wondering whether we ought to use designated initi