Skip to content

Commit 7f9c75e

Browse files
jamesmckinnajamesmckinna
authored
Rename minor changes section in CHANGELOG
1 parent fd541d0 commit 7f9c75e

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

‎CHANGELOG.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1765,8 +1765,8 @@ New modules
17651765
Function.Indexed.Bundles
17661766
```
17671767

1768-
Other minor changes
1769-
-------------------
1768+
Additions to existing modules
1769+
-----------------------------
17701770

17711771
* Added new proof to `Data.Maybe.Properties`
17721772
```agda

0 commit comments

Comments
 (0)