Subject: Re: bug#3921: 23.1.50; checkdoc allow uncapitalized info node links

From: Kevin Ryde <[email-masked]>
Date: Wed, 28 Oct 2009 10:01:48 +1100

Stefan Monnier <[email-masked]> writes:
> Looks good,

I checked it in.

(And leaving the /emacs/ bit alone, though it may be redundant with the
url-link regexp, as long as everyone uses URL `...' format.)