diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-01-06 16:58:16 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-01-06 16:58:16 +0000 |
commit | 0802b0bd3906ee36bf618cbbaa1b64a90120bcc6 (patch) | |
tree | 1d73a54eb5586029cee815306e1bbc177d181967 /infra/get-dm-txt | |
parent | 27d11a904dc6bdcfcea7d692bbc7353e12a38af1 (diff) |
dgit: When reporting no such package, say `source package'
This may help a bit pending a fuller fix to #844206/#870496.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/get-dm-txt')
0 files changed, 0 insertions, 0 deletions