diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2019-01-11 19:49:30 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2019-01-11 19:49:30 -0700 |
| commit | df8063712cda636af284e8527ee2a4b8c110ab40 (patch) | |
| tree | 46668ca31f3be25290bb8121987fa44d8b835146 /infra/dgit-repos-policy-debian | |
| parent | bed7c91d1969ccf5093e978c2ed7a1ffaa5fed4a (diff) | |
| parent | 96a6bde132c9d9c7e0baa1dd9add0696e96d6802 (diff) | |
Merge tag 'debian/8.3' into stretch-bpo
dgit release 8.3 for unstable (sid) [dgit]
[dgit distro=debian]
# gpg: Signature made Sun 06 Jan 2019 05:15:52 PM MST
# gpg: using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
Diffstat (limited to 'infra/dgit-repos-policy-debian')
| -rwxr-xr-x | infra/dgit-repos-policy-debian | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index e85e92c..f7e5e53 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -461,7 +461,7 @@ END $mustreject = 1; } else { $stderr .= <<END; -Forcing due to --deliberately-$ovwhy +Forcing due to $ovwhy END $untaintq ||= $poldbh->prepare(<<END); DELETE FROM taints WHERE taint_id = ? |