chiark / gitweb /
Remote push support seems to work. Closes:#721185.
[dgit.git] / debian / compat
1 9