View GitHub Repository object

Schedule Inspection
Subscribe
Completed
Push — master ( 844a18...827038 )
by Joschi
02:54
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

 ⇢ A Id::isProvisional() added
⇢ A AuxiliaryText::testProvisionalId() added