Skip to content

Editorial change: fix typo in runtime expression CHAR non-terminal #4368

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Feb 20, 2025
Merged

Editorial change: fix typo in runtime expression CHAR non-terminal #4368

merged 1 commit into from
Feb 20, 2025

Conversation

char0n
Copy link
Contributor

@char0n char0n commented Feb 17, 2025

Tick one of the following options:

  • schema changes are included in this pull request
  • schema changes are needed for this pull request but not done yet
  • no schema changes are needed for this pull request

@char0n char0n requested review from a team as code owners February 17, 2025 22:05
This was referenced Feb 17, 2025
Open
Closed
@ralfhandl ralfhandl requested a review from a team February 18, 2025 07:51
@lornajane lornajane merged commit f0fad47 into OAI:v3.1-dev Feb 20, 2025
2 checks passed
@ralfhandl ralfhandl added this to the v3.1.2 milestone Feb 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lornajane lornajane lornajane approved these changes

@ralfhandl ralfhandl ralfhandl approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v3.1.2
Development

Successfully merging this pull request may close these issues.
3 participants
@char0n @lornajane @ralfhandl