Skip to content

3.1.1: tables cleanup #4056

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

Merged
merged 1 commit into from
Aug 29, 2024
Merged

Conversation

ralfhandl
Copy link
Contributor

@ralfhandl ralfhandl added script Pull requests that update Bash or JavaScript code editorial Wording and stylistic issues approved pr port PRs that just port an approved PR to another version labels Aug 29, 2024
@ralfhandl ralfhandl requested review from lornajane, handrews, mikekistler and a team August 29, 2024 15:48
@ralfhandl ralfhandl added this to the v3.1.1 milestone Aug 29, 2024
@ralfhandl ralfhandl changed the title 3.1.1 port of #4040 3.1.1: tables cleanup Aug 29, 2024
Copy link
Contributor

@mikekistler mikekistler left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. 👍

Tip to other reviewers: You can "hide whitespace" when reviewing on GitHub and that makes the spec file diff much smaller -- only table header changes remain.

@lornajane lornajane merged commit 45b8742 into OAI:v3.1.1-dev Aug 29, 2024
1 check passed
@ralfhandl ralfhandl deleted the 3.1.1-table-cleanup branch August 29, 2024 16:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
approved pr port PRs that just port an approved PR to another version editorial Wording and stylistic issues script Pull requests that update Bash or JavaScript code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants