On 2/17/23 02:04, Alejandro Colomar wrote: > [CC: Added those who contributed to the discussion in linux-man@, > and also the authors of N2861 for C2x] [...] > > There was a discussion in linux-man@ some years ago, which now I realize it > didn't end up being applied (I thought we had applied a patch, but it seems we > didn't). I'll check if we still need such a patch (and I guess we do, since > we're having this conversation). I forgot to link: -- GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5