Completed
Push — master ( 6bb926...1e6b5f )
by Nils
02:11
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

A CheckResult::getTool() added
A CheckResult::setTool() added