Dave Brondsema wrote:
> 
> Don't we need to change the versions in a few places (according to
> etc/RELEASE_PROCESS.txt) and commit those before we build?  

I did that locally but didn't commit. I was confused by
this and thought that i should do as you now confirm.
Our release process notes need amendment.

-- 
David Crossley