On 1/11/22, 10:06 AM, "John Naylor" <john(dot)naylor(at)enterprisedb(dot)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