diff options
author | TW <tw@waldmann-edv.de> | 2022-07-30 18:32:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-30 18:32:58 +0200 |
commit | 4b54cfef45fbdd7b3d46c542cda6ab4d9f850baa (patch) | |
tree | f26d8d1a8245fbc7ec8fd2b0e50a4361338af443 /docs | |
parent | ade2241163722de452bb132a597dd6e19accea75 (diff) | |
parent | fe27be9f3ef446377e0b8c8ef33edcc34d8ae136 (diff) |
Merge pull request #6914 from ThomasWaldmann/update-changes-1.2
update CHANGES
Diffstat (limited to 'docs')
-rw-r--r-- | docs/changes.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/changes.rst b/docs/changes.rst index 89202d6c..3f8f2ff1 100644 --- a/docs/changes.rst +++ b/docs/changes.rst @@ -297,6 +297,10 @@ Compatibility notes: if you have scripts expecting rc == 2 for a signal exit, you need to update them to check for >= 128. +New features: + +- prune/delete --checkpoint-interval=1800 and ctrl-c/SIGINT support, #6284 + Fixes: - 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, do NOT fill in random garbage before deleting the previous repo config, because that would damage the hardlink copy). +- list: fix {flags:<WIDTH>} formatting, #6081 +- check: try harder to create the key, #5719 Other changes: |