Skip to content

Conversation

@seisman
Copy link
Member

@seisman seisman commented Aug 11, 2024

@seisman seisman added the documentation Improvements or additions to documentation label Aug 11, 2024
@seisman seisman added this to the 0.13.0 milestone Aug 11, 2024
@seisman seisman added the needs review This PR has higher priority and needs review. label Aug 11, 2024
Co-authored-by: Yvonne Fröhlich <[email protected]>
@seisman
Copy link
Member Author

seisman commented Aug 12, 2024

@yvonnefroehlich Is it OK to approve and merge?

Co-authored-by: Yvonne Fröhlich <[email protected]>
Copy link
Member

@yvonnefroehlich yvonnefroehlich 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!

@seisman seisman merged commit 3861421 into main Aug 14, 2024
@seisman seisman deleted the doc/non-ascii branch August 14, 2024 05:53
@seisman seisman removed the needs review This PR has higher priority and needs review. label Aug 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants