This reverts commit 795d56dfd5. The Gerrit UI had fooled me into pushing the "Submit" button in error.
795d56dfd5