id summary reporter owner description type status priority milestone component version resolution keywords cc port 482 splint port wmalik@… macports-tickets@… simple port for splint 3.1.0 defect closed Normal ports 1.0 fixed