jenkinsci/jenkins — pull request #373 by zlosch (2012-02-14 14:13:56+00:00)
Title: Add CANCEL permission that can be granted independently from BUILD perm.

Hi,

please have a look at the change. The use-case is that users don't have the build permission. Instead, they have another permission that allows them to trigger a build only via a custom plugin. Up to now, they weren't able to cancel builds because the build permission was checked.

Sascha