New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Update imports #519

Closed

shawntanzk wants to merge 1 commit into master from update-imports

Contributor

shawntanzk commented Aug 16, 2022

Fixes #517


          Update imports

249d938

Fixes #517

shawntanzk requested a review from matentzn

August 16, 2022 15:28

shawntanzk self-assigned this

Contributor

matentzn commented Aug 16, 2022

Did you open pato-edit.owl to see if this is really fixed?

Contributor Author

shawntanzk commented Aug 16, 2022

see #517 (comment)

matentzn closed this

Contributor

matentzn commented Aug 31, 2022

Replaced by #525

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet