On Mon, Apr 28, 2025 at 06:30:05AM +0200, Andreas Metzler wrote: > On 2025-04-27 Helmut Grohne <[email protected]> wrote: > [...] > > I think you missed attaching a diff. Generally, I am not opposed to > > implementing in such a way. It took me quite a while to arrive at a way > > that would work at all and I ended up not polishing it beyond that > > point. Evidently, it served as a starting point for discussion. > > Oh dear, there it is.
LGTM Thanks for also deduplicating the UNNEEDED variables. Helmut
