Completed
Push — master ( 44b7ae...052c87 )
by
unknown
05:42 queued 01:07
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

A CachingResultsBuilder::hasFalseElements() added