Skip to content

chore: update srtool#453

Merged
weichweich merged 1 commit intodevelopfrom
aw-update-sr-tools
Jan 23, 2023
Merged

chore: update srtool#453
weichweich merged 1 commit intodevelopfrom
aw-update-sr-tools

Conversation

@weichweich
Copy link
Contributor

Checklist:

  • I have verified that the code works
    • No panics! (checked arithmetic ops, no indexing array[3] use get(3), ...)
  • I have verified that the code is easy to understand
    • If not, I have left a well-balanced amount of inline comments
  • I have left the code in a better state
  • I have documented the changes (where applicable)

@weichweich weichweich merged commit eecde66 into develop Jan 23, 2023
@weichweich weichweich deleted the aw-update-sr-tools branch January 23, 2023 13:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant