2
0
Эх сурвалжийг харах

Merge pull request #6914 from ThomasWaldmann/update-changes-1.2

update CHANGES
TW 3 жил өмнө
parent
commit
4b54cfef45

+ 6 - 0
docs/changes.rst

@@ -297,6 +297,10 @@ Compatibility notes:
   if you have scripts expecting rc == 2 for a signal exit, you need to update
   if you have scripts expecting rc == 2 for a signal exit, you need to update
   them to check for >= 128.
   them to check for >= 128.
 
 
+New features:
+
+- prune/delete --checkpoint-interval=1800 and ctrl-c/SIGINT support, #6284
+
 Fixes:
 Fixes:
 
 
 - SaveFile: avoid chmod OSError: operation not supported - the chmod is optional, #6786
 - SaveFile: avoid chmod OSError: operation not supported - the chmod is optional, #6786
@@ -307,6 +311,8 @@ Fixes:
   (if a hardlink copy of a repo was made and a new repo config shall be saved,
   (if a hardlink copy of a repo was made and a new repo config shall be saved,
   do NOT fill in random garbage before deleting the previous repo config,
   do NOT fill in random garbage before deleting the previous repo config,
   because that would damage the hardlink copy).
   because that would damage the hardlink copy).
+- list: fix {flags:<WIDTH>} formatting, #6081
+- check: try harder to create the key, #5719
 
 
 Other changes:
 Other changes: