Completed
Push — master ( 15c806...0ce678 )
by Henri
03:33
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.97
▶   ± 0
Head
henriyli  
avoiding a php notice when the hit has been made through a notation, fixes #526
Base
henriyli  
making it possible to classify vocabularies by type, fixes #458