Change in gerrit-admin[master]: Fix set_modified hook