chiark / gitweb /
dgit: push_mktags: Rename variable $dtxinfo
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 5 Jul 2019 12:51:54 +0000 (13:51 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 5 Jul 2019 13:35:25 +0000 (14:35 +0100)
commitc862568af896b84dce9c6581907abd3244e54dfb
tree69e021f3cb40d4926800e63b5a3cf4a13e8f1fec
parentd6e41206171a936c9879924dcc72e66538757134
dgit: push_mktags: Rename variable $dtxinfo

No functional change

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit