On Tue, 2022-08-02 at 22:08 +0530, Mir Immad wrote: > The above patch is bootstrapped, lightly tested (on x86_64 Linux) and > approved for trunk by David.
For reference, Immad sent that version to me off-list to me for review, and I approved it. He's committed it to trunk now (as r13-1936-g6a11f2d974a912). Dave