diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2020-02-20 22:24:07 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2020-02-20 22:24:07 -0700 |
commit | b16d55213da9f96d71d50bfa78db3ccc561f46fd (patch) | |
tree | 4f960f4526d2c36560c806c23699a2f9cef5fcbb /infra | |
parent | b7fe58b0f4793dbd1eb9920e7233825c22b2928c (diff) | |
parent | 4f41d991f1343912b5bd704be1e1cbb1ace52dba (diff) |
Merge tag 'debian/9.10' into buster-bpo
dgit release 9.10 for unstable (sid) [dgit]
[dgit distro=debian no-split]
# gpg: Signature made Mon 03 Feb 2020 01:48:30 AM MST
# gpg: using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/dgit-repos-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index f94315a..bbf1aa2 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -784,7 +784,7 @@ sub checktagnoreplay () { # current head for the suite (there must be at least one). # # This prevents any tag implying a NOFFCHECK push being - # replayed to rewind from a different head. + # replayed to overwrite a different head. # # The possibility of an earlier ff-only push being replayed is # eliminated as follows: the tag from such a push would still |