I pushed branch nominated_0.7.2 a few days ago. This contains all the patches that people submitted for this release. Unless anybody has an issue with something in there, I think we can call it stable and tag the 0.7.2 release. Thoughts?
-dave To unsubscribe from this group, send email to gitx+unsubscribegooglegroups.com or reply to this email with the words "REMOVE ME" as the subject.
