Replay svn revisions 33204 to 33205

These revisions were apparently lost in the svn to git conversion because the svn repo was still live when the conversion was already happening...