On Thu, Aug 17, 2023 at 9:22 AM Robert Haas <robertmh...@gmail.com> wrote:
> On Thu, Aug 17, 2023 at 12:13 PM Nathan Bossart > <nathandboss...@gmail.com> wrote: > > On Thu, Aug 17, 2023 at 09:31:55AM +0900, Michael Paquier wrote: > > > Looks sensible seen from here. > > > > Thanks for taking a look. > > I think this is going to be a major improvement in terms of readability! That was the primary goal > Dave > > -- Dave Cramer
