chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f357ad2) | patch
dgit-repos-server: parsetag_general: New argument $need_distro
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 5 Jul 2019 18:34:16 +0000 (19:34 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 6 Jul 2019 14:58:10 +0000 (15:58 +0100)
commit134136229bc4e6638d4a064b92a43b2e4f6bc341
tree470646aaad144b6c7df384b16e4db4b1af6eede7tree | snapshot
parentf357ad2b38ecd64115aa3613e183fb61f057e2f7commit | diff
dgit-repos-server: parsetag_general: New argument $need_distro

No functional change with the existing call site.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
infra/dgit-repos-server diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.