On Fri, Apr 22, 2022 at 4:37 PM John Naylor <john.nay...@enterprisedb.com> wrote: > On Fri, Apr 22, 2022 at 11:13 AM David Rowley <dgrowle...@gmail.com> wrote: > > On Thu, 21 Apr 2022 at 19:09, John Naylor <john.nay...@enterprisedb.com> > > wrote: > > > I intend to commit David's v2 fix next week, unless there are > > > objections, or unless he beats me to it. > > > > I wasn't sure if you wanted to handle it or not, but I don't mind > > doing it, so I just pushed it after a small adjustment to a comment. > > Thank you!
Thanks both for working on this. Seems like a good call to defer the choice of further specialisations.
