chiark / gitweb /
Merge tag 'debian/5.10' into stretch-bpo
authorSean Whitton <spwhitton@spwhitton.name>
Wed, 18 Jul 2018 17:09:16 +0000 (01:09 +0800)
committerSean Whitton <spwhitton@spwhitton.name>
Wed, 18 Jul 2018 17:09:16 +0000 (01:09 +0800)
commitd0492d8f40b05ea5f4d378cd34221a9cd66cbfcd
treed79f415f344a81aca8d18e916b7016a84aec5793
parenteb07108c1051f227c83de01781f498a330faae43
parent15fbfc94b8c6a08cffdf0f9a7ed5870252ad4416
Merge tag 'debian/5.10' into stretch-bpo

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

# gpg: Signature made Sun 15 Jul 2018 01:12:02 AM CST
# gpg:                using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
debian/changelog