[plt-dev] As of push #20297, DrDr finds no errors in the repository

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon May 24 13:16:20 EDT 2010

Ah, we just got lucky that the race conditions in the drscheme test
suite didn't show up that time. (sigh)

Robby

On Mon, May 24, 2010 at 10:58 AM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
> As of push #20297, DrDr finds no errors:
>
> http://drdr.plt-scheme.org/20297/
>
> Go team!
>
> Jay
>
> --
> Jay McCarthy <jay at cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://teammccarthy.org/jay
>
> "The glory of God is Intelligence" - D&C 93
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>


Posted on the dev mailing list.