chiark / gitweb /
dgit-repos-policy-debian: Fix add_taint
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 11 May 2015 07:57:52 +0000 (08:57 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 May 2015 10:54:11 +0000 (11:54 +0100)
commitba923623a80877a6ba06e7fe528b480763ab9ddb
tree6f343367b143a946938a329fb26cef5fd26bc369
parent2ed034f34fe81fcdb2232d8d7a5e7c02dcb091dd
dgit-repos-policy-debian: Fix add_taint
infra/dgit-repos-policy-debian