On 2022-08-09 15:10:41 +1200, Thomas Munro wrote:> I was going to commit the first of these patches, but then I noticed Andres> said he was planning to, so I'll wait another day.
I'd be happy for you to take this on...