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 missing header to GR surface tags #5539

Merged
merged 1 commit into from
Oct 4, 2023

Conversation

yoonso0-0
Copy link
Contributor

Proposed changes

Used for raise_or_lower_index

Upgrade instructions

Code review checklist

  • The code is documented and the documentation renders correctly. Run
    make doc to generate the documentation locally into BUILD_DIR/docs/html.
    Then open index.html.
  • The code follows the stylistic and code quality guidelines listed in the
    code review guide.
  • The PR lists upgrade instructions and is labeled bugfix or
    new feature if appropriate.

@yoonso0-0 yoonso0-0 requested a review from knelli2 October 4, 2023 18:21
@yoonso0-0 yoonso0-0 added the small Only changes a few lines of code, does a rename or is otherwise quick to review label Oct 4, 2023
@knelli2 knelli2 enabled auto-merge October 4, 2023 18:29
@knelli2 knelli2 merged commit 2543ce6 into sxs-collaboration:develop Oct 4, 2023
20 of 21 checks passed
@nilsvu nilsvu added the bugfix label Oct 9, 2023
@yoonso0-0 yoonso0-0 deleted the gr_missing_header branch October 18, 2023 16:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bugfix small Only changes a few lines of code, does a rename or is otherwise quick to review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants