Skip to content

Conversation

haug-den-lucas
Copy link

Description

This PR aims to fix Issue #1342
A detailed description+analysis can be found there.

Checklist

  • the pull request title describes what this PR does (not a vague title like Update index.md)
  • the pull request targets the default branch of the repository (develop)
  • the code follows the established code style of the repository
    • npm run prettier:check passes
    • npm run lint:check passes
  • tests are added for the changes I made (if any source code was modified) => Existing test cases still apply
  • documentation added or updated => Current documentation is correct after applying this fix
  • I have run the project locally and verified that there are no errors

Fixes

#1342

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant