Hi,I just did a quick merge from master onto the 3.3.x branch, and our bots / git repo monitors detects these as new commits. It's merely a nuisance, but I think it'd be useful to make it such that we don't post on IRC (and at least the current dev-release branch) about these "commits". Daniel?
-- Leif
