chiark / gitweb /
~webstump / modbot-uram.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d2fc6f) | patch
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:09 +0000 (14:53 +0100)
commitd947dfebe7c73756167b34ba79938db860680bec
tree95a4119ba6fc35cf6c17fe198e087cb900b06633tree | snapshot
parent9d2fc6f0e90433378487674c0a4f29edac3ffb32commit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.