Merge branch 'stable' into release

this is done with -s ours, throwing away the sha1 updates in this
branch.
This commit is contained in:
Oswald Buddenhagen
2013-11-11 16:29:21 +01:00

Diff Content Not Available