On Fri, Nov 04, 2022 at 07:55:20AM +0700, John Naylor wrote:> I've removed it.
Thanks.
Aha, there were three more of these, as of rewriteheap.c, copydir.cand pgtz.c that I also forgot to clean up in bfb9dfd..--Michael