Skip to content

Conversation

@seisman
Copy link
Member

@seisman seisman commented Jan 16, 2024

Address #3005 (comment).

@seisman seisman added maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog labels Jan 16, 2024
@seisman seisman added this to the 0.11.0 milestone Jan 16, 2024
Copy link
Member

@weiji14 weiji14 left a comment

Choose a reason for hiding this comment

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

Should be ok once all of the tests pass.

@seisman seisman enabled auto-merge (squash) January 16, 2024 04:41
@seisman seisman disabled auto-merge January 16, 2024 04:46
@seisman seisman merged commit 04a6c07 into main Jan 16, 2024
@seisman seisman deleted the test/grdimage_global_subset branch January 16, 2024 04:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants