Closed cmungall closed 6 years ago
Apologies for the stream of issues and bundling everything into one PR, I can try and separate some of these if easier.
And done.
Oh, looks like you closed this rather than merging it - was that your intention? Should I separate into individual PRs?
Closing was definitely not my intention, apologies, still new to the GitHub open source workflow.
BTW, I extended collaborator privileges since you are actively using and contributing.
fixes various issues