Closed cthoyt closed 9 months ago
hmm, looks like we'll need to update prefixmaps
@hrshdhgd updating prefixmaps solves the problem. Can you approve running this on CI?
Thanks @cmungall. It would be great to get a release on this so we can update several other PRs waiting on this
Done!
cheers @hrshdhgd , much appreciated
@hrshdhgd this is a very small change, can you please enable CI and if there are no issues, merge? thanks!