On Thu, Jan 27, 2022 at 06:34:23PM +0000, David Carlier wrote: > Hi willy and thanks for the review. Indeed I forgot about the dummy part, > changes present in the last patch.
Thank you. I had to swap the last two patches so that it always builds, but that's OK this way, so I've now merged it. Willy
