On Tue, Sep 02, 2025 at 08:24:52PM +0200, René Scharfe wrote: > Changes: > - Use oidset instead of a custom khash set for simplicity. > - Removed spurious whitespace changes. > - Formatted with --patience to better see the function removal. Thanks, this version looks good to me. -Peff