Hi Helge, On 12/4/22 21:11, Helge Kreutzmann wrote:
Hello Alejandro, On Sun, Dec 04, 2022 at 09:07:45PM +0100, Alejandro Colomar wrote:On 12/4/22 10:07, Helge Kreutzmann wrote:Without further ado, the following was found: Issue: user ID → UIDIMO, (and I believe Branden will agree), user ID is more informative than UID. If any change, I'd apply some consistency in the other direction (don't know how much inconsistent the pages are regarding that): UID -> user ID. So, WONTFIX. Thanks for the reports!Noted. However, you might consider making the link once, i.e. on first occurence do user ID → user ID (UID)
Yep, I'll do that. Thanks! Cheers, Alex
Greetings Helge
-- <http://www.alejandro-colomar.es/>
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature