scala-ide/scala-ide — pull request #313 by sschaef (2013-02-11 19:26:31+00:00)
Title: [backport] Issue/backport requires keyword

cherry-picked 9605d11308^..e0c13159