1. 2014-06-08 [kpat] [Bug 319562] kpat solver is bad in so David Gasaway 2. 2014-06-08 [kpat] [Bug 319562] kpat solver is bad in so David Gasaway 3. 2013-05-13 [kpat] [Bug 319562] kpat solver is bad in so Stephan Kulow