Need to remove references to "nodev" mount option

[Giorgos Keramidas]

On 2007-09-02 22:18, Ben Kaduk <minimarmot at gmail.com> wrote:
>On 9/2/07, Giorgos Keramidas <keramida at freebsd.org> wrote:
>>On 2007-08-31 15:26, Craig Rodrigues <rodrigc at crodrigues.org> wrote:
>>> Hi,
>>> I submitted a patch: http://www.freebsd.org/cgi/query-pr.cgi?pr=115984
>>> to remove references to the "nodev" mount option.
>>
>> Noted.  I'll review the patch [...]
>
> Is it preferred to piggyback the patch for the French version onto the
> same PR, or submit a new one?

There's no explicit preference, AFAIK.  I hadn't read this email when I
closed the PR a bit earlier, but please feel free to open a new one or
add a comment to the existing PR (docs/115984).  If you choose the
second option, make sure you Cc: me to reopen it.