Passed
Push — master ( 74e1a0...bfb274 )
by Constantin
02:59
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

A InMemoryStateManager::hasState() added