[JIRA] (JENKINS-14135) NPE

[o...@informatik.rwth-aachen.de (JIRA)]

Carsten Otto commented on JENKINS-14135 NPE 1) Linux. 2) dist/report.sc 3) http://aprove.informatik.rwth-aachen.de/~cotto/workspace.zip (I deleted everything but the dist/ directory. If you need more, we need to fine tune - I cannot give you the source of our project.)

This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira