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:44:58 +0000 (14:44 +0100)
commite19ce96dd7720dcf2b56f069eb0f4ef6b1b19d69
treeb8de576fe01b53b6e401e4217aa487e490cf6627
parentbf46be8bbf6faf94da6ca687f6a61b1c78a03879
truncation: include header name in warning header

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
(cherry picked from commit 8ef141149699a8e07868a9110583763f6c1aa7b0)
stump/bin/submission.pl