shearer/PropCIs — pull request #1 by kornl (2013-07-31 18:50:07+00:00)
Title: Added URL and BugReports fields to DESCRIPTION file. 

Added URL and BugReports fields to DESCRIPTION file.
(As soon as a wiki exists, one should change the URL and append '/wiki'.)