Re: suggestion: move "Gnulib module: --" blurb to misc notes

[Karl Berry]

    [EMAIL PROTECTED]<bug-gnulib at gnu dot org>}.
    [EMAIL PROTECTED]@code{<bug-gnulib at gnu dot org>}}.

Personally, I don't see a reason not to use @email here.  That's why it
exists.

karl