chiark / gitweb /
dgit-repos-server: Further fixes to locking; rename acquiretree to acquirermtree
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 21 Mar 2015 17:43:40 +0000 (17:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Mar 2015 15:20:30 +0000 (15:20 +0000)
commit34eb5dad67ac7e3353016d3a109b8e78fb780655
tree286287c6fc009151a13de3cbbf96fcc96779f4f4
parentf4f514f696e7a6579f287869a1e264134aa50b3b
dgit-repos-server: Further fixes to locking; rename acquiretree to acquirermtree
infra/dgit-repos-server