chiark / gitweb /
Merge tag 'debian/8.0' into stretch-bpo
authorSean Whitton <spwhitton@spwhitton.name>
Sat, 20 Oct 2018 17:21:58 +0000 (10:21 -0700)
committerSean Whitton <spwhitton@spwhitton.name>
Sat, 20 Oct 2018 17:21:58 +0000 (10:21 -0700)
commit4ea49240ddaa77bb4e290f9018727805ef87efc6
treeecc5ef8ce55fa7cce83ebc9554edeb29920ea2cf
parentc1594eccda40a6a40bb2eb330a13578f330b3cc9
parent16d99b2680f6c4e41c7740f542ca064455b4f5a4
Merge tag 'debian/8.0' into stretch-bpo

dgit release 8.0 for unstable (sid) [dgit]
[dgit distro=debian]

# gpg: Signature made Sat 13 Oct 2018 04:01:49 PM MST
# gpg:                using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
debian/changelog