chiark / gitweb /
Merge tag 'debian/7.0' into stretch-bpo
authorSean Whitton <spwhitton@spwhitton.name>
Wed, 10 Oct 2018 15:40:06 +0000 (08:40 -0700)
committerSean Whitton <spwhitton@spwhitton.name>
Wed, 10 Oct 2018 15:40:06 +0000 (08:40 -0700)
commitbd5ec77ecd3c3377d7473ae055b88325aef3696b
treed6281cf838da6b8c5e218a1e7615d682c1a4dc89
parent11a5cbb0e28d391324948cec33b1d40499f16d3b
parentfa303f348f6fe529cafdc5b91f9a15bddefd2b56
Merge tag 'debian/7.0' into stretch-bpo

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

# gpg: Signature made Thu 04 Oct 2018 12:36:14 PM MST
# gpg:                using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
debian/changelog