Commit ddc378d
chore: Add external contributor to CHANGELOG.md (#15061)
This PR adds the external contributor to the CHANGELOG.md file, so that
they are credited for their contribution. See #14908
---------
Co-authored-by: AbhiPrasad <[email protected]>
Co-authored-by: Francesco Gringl-Novy <[email protected]>1 parent eedf4a5 commit ddc378d
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
| 13 | + | |
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
| |||
0 commit comments