[DrJava] Summer Development

[Charles R. <cr...@ri...>]

Hey everyone--
  We're starting summer development on DrJava today, which means there
will be more traffic again on this mailing list and on the Features/Bugs
trackers.  I'm guessing some of you from Comp 312 will not want to be on
these lists anymore, so I wanted to warn you.  I haven't figured out an
easy way for you to take yourself off, but if you figure it out, feel free
to post it to the list.  Otherwise, just send me an email (cr...@ri...)
and I can take you off the list and trackers manually.  Of course, you're
all more than welcome to stay on the list and continue contributing
whenever you have free time, but if you know you're finished with it, just
let me know.

Thanks!
Charlie