diff --git a/CHANGES.md b/CHANGES.md index 0859c636..45b4a1b0 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -4,6 +4,12 @@ - Summary: - Insert something here +## Version: 1.7.25 + +- Released: 2023-07-10 +- Summary: + - Rewrite `dev_tools/deploy_docs.py` in go to avoid hassles with python's `fabric.api`. + ## Version: 1.7.24 - Released: 2023-05-13