On Thu, 03 Oct 2024 00:57:48 +0200, Stuart Henderson <s...@spacehopper.org> wrote: > > that's quite a roundabout way to do things, how about this? > more resilient to updates, too. >
I really like your diff, and this is that I had tried to do yesterday, but can't figure out that DIST_TUPLE makes such nice things. Thanks! -- wbr, Kirill