On 1/11/22, 10:06 AM, "John Naylor" <john.nay...@enterprisedb.com> wrote: > I pushed this with one small change -- I felt the comment didn't need > to explain the warning message, since it now simply matches the coding > more exactly. Also, v5 was a big enough change from v4 that I put > Nathan as the first author.
Thanks! Nathan
