Re: [plt-dev] DrDr Notifications

[Noel Welsh]

New interface is good.  I'd go for option 3, but I'm not exactly a
significant part of the dev. team.

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