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:53:22 +0000 (14:53 +0100)
commitbb811594f93bc4520039f96029e607e2d7940e1d
tree27a671dfc7996ba4972660a02c3fee9869906903
parentcab68a30175d17bcaebeb5a1538bebd5f1130811
truncation: include header name in warning header

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