Release 1.3.1

[git-cache] / Changelog

diff --git a/Changelog b/Changelog
index 77b3265866879edc13e1961c9cfd2b36da31982b..1f6a1bedef8fc6cb533b8647c5dd02fe91084298 100644 (file)
--- a/Changelog
+++ b/Changelog
@@ -1,4 +1,7 @@
 ## [Unreleased]
+
+
+## [1.3.1] - 2021-06-07
 ### Changed
 - Fixed a bug in the is-fetch-needed logic: Sometimes a fetch is needed to
 move the branch heads even if the sought rev is already present (eg: was