chiark / gitweb /
dgit-maint-merge(7): debian/source/patch-header not in format 1.0
authorSean Whitton <spwhitton@spwhitton.name>
Sat, 20 Jan 2018 16:32:56 +0000 (09:32 -0700)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 24 Jan 2018 23:48:41 +0000 (23:48 +0000)
commitecb373e0b66e4874eb8208bea857001a42001bc9
tree3acb28f96a8536e2f89e7ba63415605bd57e6c1e
parent54947007d3db8f79649e5329fb990856ad97d5ec
dgit-maint-merge(7): debian/source/patch-header not in format 1.0

Suggested-by: Matthew Vernon <matthew@debian.org>
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
dgit-maint-merge.7.pod