On Fri, Apr 1, 2022 at 10:54 AM Peter Geoghegan <p...@bowt.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
