Completed
Pull Request — development (#732)
by Kai
11:25 queued 02:13
created

No notable changes

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

8.15
▶   ± 0
Head
Kai Neuwerth  
Merge dce402c70d5f51aa334557e2a1540676378acb9e into 1cb0207efe6f0638c4292265ad2180e7116c71fa
4 more commits
Base
Thomas Eiling  
update okapi package