at 6464358ede0a7784dfef13f5c9cb9d469cd6c48f (commit)
Please ignore this and the following commit, related to 'rel3_4' branch, which is a local branch of mine that I pushed to crater by mistake. I've since removed it from the repo again.
If there are any problems related to this, please notify me. Sascha
