chiark / gitweb /
~webstump / modbot-urcm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f59740) | 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:40:47 +0000 (14:40 +0100)
commit8ef141149699a8e07868a9110583763f6c1aa7b0
treeb8de576fe01b53b6e401e4217aa487e490cf6627tree | snapshot
parent8f597404afd9b075dc98b134a4734b2b18d065d7commit | diff
truncation: include header name in warning header

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
stump/bin/submission.pl diff | blob | history
Unnamed repository; edit this file to name it for gitweb.