Closed pgaudet closed 1 year ago
Please do not merge this PR right now, I have a big conflicting PR open (#492); I will deal with reconciling the two @pgaudet, but it would be great if we could hold off on further PRs until #492 is merged, cc @cmungall
Sorry about that, but will be dealt with in a the next 48 hours
No worries - AFAIK I dont have permission to merge ;)
I made the requested change. Let me know if you spot other problems.
Thanks, Pascale
Fixes #678