I tagged smart-1.3.1 in Launchpad. (lp:smart) https://launchpad.net/smart/+milestone/1.3.1 It is a bugfix release for the 1.2/1.3 series, merging of new features will happen in 1.4... --anders