Merge branch 'stable-3.1' * stable-3.1: Fix plugin loading under IE 11 Change-Id: Ib3e7562bb806b2441a66bac25363bb858f5a54e4
A plugin which allows projects to be deleted from Gerrit via an SSH command, REST API or the Project settings screen.