diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-07-19 01:09:16 +0800 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-07-19 01:09:16 +0800 |
commit | d0492d8f40b05ea5f4d378cd34221a9cd66cbfcd (patch) | |
tree | d79f415f344a81aca8d18e916b7016a84aec5793 /.gitignore | |
parent | eb07108c1051f227c83de01781f498a330faae43 (diff) | |
parent | 15fbfc94b8c6a08cffdf0f9a7ed5870252ad4416 (diff) |
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
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -14,6 +14,7 @@ dgit-maint-merge.7 dgit-maint-gbp.7 dgit-maint-debrebase.7 dgit-sponsorship.7 +dgit-downstream-dsc.7 git-debrebase.1 git-debrebase.5 substituted |