On 2007-09-02 22:18, Ben Kaduk <minimarmot@gmail.com> wrote:
>On 9/2/07, Giorgos Keramidas <keramida@freebsd.org> wrote:
>>On 2007-08-31 15:26, Craig Rodrigues <rodrigc@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.
_______________________________________________
freebsd-doc@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-doc
To unsubscribe, send any mail to "freebsd-doc-unsubscribe@freebsd.org"