jenkinsci/gerrit-trigger-plugin — pull request #108 by hugares (2013-11-29 20:20:46+00:00)
Title: Move ManualPatchSet class from gerrit-events to gerrit-trigger module

ManualPatchSet is a special event which is only created by gerrit-trigger
to handle patchset triggered manually from Jenkins UI.