Re: gnatsweb/770: problem with duplicated "cmd" CGI variable. [PATCH]

Thanks, Stephane.  I debugged my .procmail script and found I hadn't
updated the PATH environment variables to the new settings.  The PR and
patch are duly noted.  Unfortunately, I do not have commit access to the
gnatsweb tree to apply your patch.  I know some people have been
submitting patches via savannah.  I'll leave the PR open, regardless,
until it the fix finds its way into the upstream CVS.

Chad