Skip to content

Conversation

@huisman
Copy link
Contributor

@huisman huisman commented Oct 25, 2025

What does this PR do?

Before submitting

  • This PR fixes a typo or improves the docs (if yes, ignore all other checks!).
  • Did you read the contributor guideline?
  • Was this discussed/approved via a Github issue? Please add a link to it if that's the case.
  • Did you make sure to update the documentation with your changes (if applicable)?
  • Did you write any new necessary tests?

@MaartenGr
Copy link
Owner

Well...that's a weird mistake from my side. Nice catch and thanks for the PR!

Merging it now, but out of curiosity, was it difficult to change? I purposefully used .svg so that others could update them if necessary. What tooling did you use for that?

@MaartenGr MaartenGr merged commit 924a9ed into MaartenGr:master Oct 25, 2025
5 checks passed
@huisman
Copy link
Contributor Author

huisman commented Oct 25, 2025

Merging it now, but out of curiosity, was it difficult to change? I purposefully used .svg so that others could update them if necessary. What tooling did you use for that?

I first tried to change it using inkscape, but the diff showed more changed lines than I wanted so I just changed the single word in a text editor.

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.

2 participants