Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Add comment to has model #2001

Draft
wants to merge 3 commits into
base: dev
Choose a base branch
from
Draft

Conversation

LillyG901
Copy link
Contributor

@LillyG901 LillyG901 commented Dec 14, 2024

Summary of the discussion

See #2000

Type of change (CHANGELOG.md)

Update

  • add comment to has model

Workflow checklist

Automation

Closes #2000

PR-Assignee

Reviewer

  • 🐙 Follow the Reviewer Guide
  • 🐙 Provided feedback and show sufficient appreciation for the work done

@github-actions github-actions bot added the oeo.omn changes the oeo.omn -module label Dec 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
oeo.omn changes the oeo.omn -module
Projects
Status: Review in progress
Development

Successfully merging this pull request may close these issues.

Bugfix: textual definition of has model does not match axioms
1 participant