Hello Alejandro
Am Wed, Nov 01, 2023 at 04:57:08PM +0100 schrieb Alejandro Colomar:
> On Wed, Nov 01, 2023 at 02:02:11PM +0000, Helge Kreutzmann wrote:
> > Without further ado, the following was found:
> >
> > Issue: mount point → mount ?
>
> I'm not sure that improves significantly. Is there any difference
> between a 'mount' and a 'mount point'?
Some time ago many man pages changed from mount point → mount, and I
thought this was a left over.
If, technically speaking, mount point is correct here, then do not
change, of course.
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
