Need to remove references to "nodev" mount option

[Ben Kaduk]

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 after I get a bit of sleep
> and commit it.  It looks ok after a quick glance...
>

Is it preferred to piggyback the patch for the French version onto the
same PR, or submit a new one?

-Ben Kaduk