On Fri, Apr 1, 2022 at 10:54 AM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:
> I also refined the WARNING patch in v15. It now actually issues
> WARNINGs (rather than PANICs, which were just a temporary debugging
> measure in v14).
Going to commit this remaining patch tomorrow, barring objections.
--
Peter Geoghegan