Closed jmandel closed 12 years ago
Perhaps we should backport this fix into 0.5 and tag it as 0.5.1?
Assume you mean 0.4.1? In general it's probably a good practice to implemment bugfixes in independent branches that merge into dev and master.
To get started we might just merge dev into master (since it looks like several bug fixes and no changes have been introduced).
Yes, 0.4.1. I will take care of it. I should update the API Verifier ontology copy as well.
Nikolai deployed fixes to the public sandbox.
There are errors in