Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore: Add external contributor to CHANGELOG.md (#15266)
This PR adds the external contributor to the CHANGELOG.md file, so that they are credited for their contribution. See #15246 --------- Co-authored-by: s1gr1d <[email protected]> Co-authored-by: Francesco Gringl-Novy <[email protected]>
- Loading branch information