tree a2cb09c192a70c874780c2ce635060bc717da3a4
parent 8f868effe5585e51dcc4ac6aee7953933d7ec895
author Luca Milanesio <luca.milanesio@gmail.com> 1552836320 -0700
committer Luca Milanesio <luca.milanesio@gmail.com> 1552840091 -0700

Adapt to the Gerrit v2.16 DELETE API from plugins

Change-Id: If6ac245747e82a78cc08eb525c534b101bf55a6f