Skip to content

Conversation

@spier
Copy link
Contributor

@spier spier commented Oct 18, 2023

Fixes duplicated start of code block, introduced by #145 .

Proposed Changes

Readiness Checklist

Author/Contributor

  • If documentation is needed for this change, has that been included in this pull request
  • run make lint and fix any issues that you have introduced
  • run make test and ensure you have test coverage for the lines you are introducing

Reviewer

  • Label as either bug, documentation, enhancement, infrastructure, or breaking

@spier spier requested a review from zkoppert as a code owner October 18, 2023 21:54
@Okabe-Junya
Copy link
Contributor

Thank you for creating the bugfix PR!! That was an oversight on my part. I appreciate you catching that!!

@zkoppert zkoppert added the documentation Improvements or additions to documentation label Oct 19, 2023
@zkoppert zkoppert merged commit c2b59a5 into github:main Oct 19, 2023
@spier spier deleted the patch-1 branch October 23, 2023 18:11
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.

3 participants