Document 0.7.2.0-r2 in the change log

This commit is contained in:
John Ericson 2023-11-20 15:37:51 -05:00
parent 0f8227de22
commit e52a81ebe9

View File

@ -1,5 +1,11 @@
# Revision history for dependent-sum
## 0.7.2.0 revision 2 - 2023-11-20
Bump upper bound of `some` from `1.0.5` to `1.0.6`.
Same rationale as below.
## 0.7.2.0 revision 1 - 2023-05-10
Bump upper bound of `some` from `1.0.4` to `1.0.5`.