> I would like to release 0.31.0 some time around 15 July. Perhaps we > could release the current devlab repo as 0.30.1. What do you think? I don't have much more time than for building the gems. Is anything else needed ? -- Cheers, zimbatm http://zimbatm.oree.ch