On Feb 26, 2010, at 1:57 PM, Matthew Flatt wrote: > At Fri, 26 Feb 2010 13:44:06 -0500, Stevie Strickland wrote: >> Matthew: Does the version number need to be bumped for my changes, or would >> that not have caught this? > > Yes, it's a good idea to bump the version when you change the interface > that's exported by the binary.
Okay, I'll do so. My apologies to all. Stevie_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
