[Greasemonkey] Is the pipermai/greasemonkey INDEX broken?

[Jeremy Dunck]

On 3/3/06, Roderick McGuire <mcguire at telerama.com> wrote:
> I wanted to refer to
> http://mozdev.org/pipermail/greasemonkey/2005-December/007120.html
> However as much as I tried both internal searches and external google
> searches: (e.g.):

I've had similar issues.
>
> Has the index been turned off? And if so why?.

Dunno.  mozdev.org/robots.txt doesn't disallow /pipermail, so.. I resubmitted
http://mozdev.org/pipermail/greasemonkey/
to the index... we'll see if that changes anything.