github-actions[bot]
commented
1 month ago Hello. You may have forgotten to update the changelog!
Please edit doc/changelog.md on your branch with:
- A one-to-two sentence description of the change. You may include a small working example for new features.
- A link back to this PR.
- Your name (or GitHub username) in the contributors section.
Description of the Change: Removes unused variable.
Benefits: No more warnings in dialects