Skip to content

Commit b52327b

Browse files
MatthewDaggittMatthewDaggitt
committed
Fix CHANGELOG entry
1 parent 4413ad9 commit b52327b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎CHANGELOG.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
Version 1.7
22
===========
33

4-
The library has been tested using Agda 2.6.2 release candidate 1.
4+
The library has been tested using Agda 2.6.2.
55

66
Highlights
77
----------

0 commit comments

Comments
 (0)