Completed
Push — master ( ae8ee8...117b89 )
by Stephan
05:10 queued 02:34
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

B C TreeResultPrinter::getResultText() got worse
D C TreeResultPrinter::postProcessParameters() improved