chiark / gitweb /
infra: dgit-mirror-ssh-wrap: Fix $package_re
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 13 Sep 2019 17:22:58 +0000 (18:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 13 Sep 2019 17:22:58 +0000 (18:22 +0100)
commit5021fff8f4987a866688535b35fc3b7d6008baed
tree9117b4f9e5249300ed6b459af8b930e16c701696
parenta9eb229b900cd9c4fa15104e6cc06b2baa1b4c00
infra: dgit-mirror-ssh-wrap: Fix $package_re

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
infra/dgit-mirror-ssh-wrap