Robert Bradshaw, 02.08.2011 02:42: > In general, if we have a distinct release branch (e.g if anything > really interesting had gone in since the last rc), I'd say we should > push release fixes to that and then merge into master. +1 Stefan