Change in gerrit-admin[master]: Fix missing patchset