Hello Alex,
On Sun, Feb 05, 2023 at 03:28:45PM +0100, Alejandro Colomar wrote:
> Hi Helge,
>
> On 1/22/23 20:31, Helge Kreutzmann wrote:
> > Without further ado, the following was found:
> >
> > Issue: ISO → ISO/IEC
>
> Please someone write a documented patch for this one.
These standards are all written in the same committee, hence they are
all from "ISO/IEC".
So pick your favourite editor, and do a global search and replace,
i.e. ISO → ISO/IEC
If you still feel uncomfortable with any occurence, put the number
into the search field on www.iso.org and check yourself.
Greetings
Helge
--
Dr. Helge Kreutzmann debian@xxxxxxxxxxxxx
Dipl.-Phys. http://www.helgefjell.de/debian.php
64bit GNU powered gpg signed mail preferred
Help keep free software "libre": http://www.ffii.de/
Attachment:
signature.asc
Description: PGP signature
