On Fri, May 13, 2022 at 16:37:13 -0400, ben.boeckel@kitware.com wrote:

Attached is a draft of P1689R5 with a proposed naming of the key for

Ugh. Now it is.

Thanks, Ben. You might want to fix the typo "impot" in chapter 8 (another.mpp)