[plt-scheme] MrLib manual installation error

At Sun, 20 Feb 2005 21:20:47 -0500, Richard Cobbe wrote:
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> On Sun, Feb 20, 2005 at 08:33:04PM -0500, Carl Eastlund wrote:
> >   For list-related administrative tasks:
> >   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> > 
> > I get the following output when trying to use Help Desk's CVS update
> > feature on the MrLib manual.  Can anyone else verify (and/or fix) this
> > problem?
> 
> Robby acknowledged the issue and fixed it.

I don't recall this. Was there a PR, by chance?

Robby