chiark / gitweb /
Infra: dgit-repos-policy-debian: Fix db retry loop
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 13 Jun 2015 19:27:51 +0000 (20:27 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 13 Jun 2015 19:27:51 +0000 (20:27 +0100)
commita4cde71b1a09721ef2183495ba7e536ba88c2d8b
treedfc2f937f6d6e1b77c2c572e6a880155125c6404
parent523f605a62b7f559108b8b7301a88bfaaeb6d4e8
Infra: dgit-repos-policy-debian: Fix db retry loop
infra/dgit-repos-policy-debian