chiark / gitweb /
infrastructure: Run git gc --auto before mirroring. Closes:#841414.
[dgit.git] / debian / compat
1 9