chiark / gitweb /
truncation: include header name in warning header
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 5 Sep 2018 13:40:47 +0000 (14:40 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 5 Sep 2018 13:40:47 +0000 (14:40 +0100)
commit8ef141149699a8e07868a9110583763f6c1aa7b0
treeb8de576fe01b53b6e401e4217aa487e490cf6627
parent8f597404afd9b075dc98b134a4734b2b18d065d7
truncation: include header name in warning header

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
stump/bin/submission.pl