On Mon, Sep 29, 2025 at 05:01:37PM +0900, Michael Paquier wrote:
> It's that or popopop. "glop" and "pas-glop" were my other candidates,
> but I doubt we can use them freely, and you may be the only one around
> here to know what this refers to. :D
Putting that aside, fixed down to v18.
--
Michael