Ok, seems like there's a clear majority for this process. Great! One question is what version we should use for the nightly builds. My guess is "develop". Or maybe we should even have two nightly builds, one for "master", i.e., for the last release plus bugfixes, and one for "develop" with new features included. Eric