On Mon, Apr 17, 2023 at 10:50:59PM -0700, Hugh Dickins wrote: > You'll be sending a manpage update to Alejandro in due course, I think. Sure thing! Just need a git tree. I can send the updates as we reach a consensus on where to store / share huge page shmem updates. Luis
