chiark / gitweb /
dgit-maint-merge(7): Use debian/source/patch-header
authorSean Whitton <spwhitton@spwhitton.name>
Thu, 22 Dec 2016 18:43:37 +0000 (18:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 9 Jan 2017 13:08:32 +0000 (13:08 +0000)
commit93f0f211695dc8aa6b4cfc4063766f71dc074fc1
treefa27b2ec9899ad5eb83567f712c3ba43e5e5e470
parente8df5638fc9abd8c502872b2a6f535de9ecf602f
dgit-maint-merge(7): Use debian/source/patch-header

Closes:849120

Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/changelog
dgit-maint-merge.7.pod