Commit 6d9ed10
authored
chore: fix C lint errors
PR-URL: #5291
Closes: #5274
Reviewed-by: Philipp Burckhardt <[email protected]>1 parent 0ad736d commit 6d9ed10
1 file changed
+1
-0
lines changedLines changed: 1 addition & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| 22 | + | |
22 | 23 | | |
0 commit comments