Hi! Quick heads-up: development on the 0.3.1.x series is now in the maint-0.3.1 branch. The master branch is now for the 0.3.2.x series. So if you're fixing a bug in 0.3.1, base your patch on maint-0.3.1 (or some appropriate earlier maint-x branch) ... and use master for new features. Confused? See doc/HACKING/CodingStandards.md for info on how we use git. cheers, -- Nick