chiark / gitweb /
Merge tag 'debian/5.8' into stretch-bpo
authorSean Whitton <spwhitton@spwhitton.name>
Thu, 12 Jul 2018 07:33:17 +0000 (08:33 +0100)
committerSean Whitton <spwhitton@spwhitton.name>
Thu, 12 Jul 2018 07:33:17 +0000 (08:33 +0100)
commitae8f33be945323e02e670a97c8ac6d42a0e1be40
tree2bbf98c464b32b8ede618bf93929741246b81b5f
parent4a142fe137c1bed5a0cb5d14c41adcb3355458c4
parent7166dbc963a9c01ce62a0564bb7b905156adb560
Merge tag 'debian/5.8' into stretch-bpo

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

# gpg: Signature made Sun 08 Jul 2018 11:43:29 BST
# gpg:                using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
debian/changelog