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)
Closes:849120

Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

No differences found