Commit 759ace9
authored
[ admin ] Track PR idris-lang#3665 in CHANGELOG_NEXT.md (idris-lang#3668)
1 parent fe78d82 commit 759ace9
1 file changed
Lines changed: 8 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
0 commit comments