Hi Alexander,
On Mon, Sep 20, 2021 at 10:00 PM Alexander Lakhin <exclusion(at)gmail(dot)com> wrote:
> Thanks for the fix!
> But if that is a valid (or sane) state, then shouldn't the comment "Some
> sanity checks" be removed (or updated) too?
I think that that's a good idea. I pushed a commit that updates these
comments just now.
Thanks again
--
Peter Geoghegan