Re: [plt-dev] DrDr online

The PLT logo already contains deep blue.  Once Matthew sees red, it'll
be a whiteout.

Shriram
_________________________________________________
  For list-related administrative tasks:
  http://list.cs.brown.edu/mailman/listinfo/plt-dev