diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-21 17:47:48 +0000 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-21 17:47:49 +0000 |
| commit | 51389d28479120cd39e8efc3651fd041d63d3b9f (patch) | |
| tree | 46c303fdbf7e0a67cd79cd3cf5d298af122f4746 /debian/changelog | |
| parent | c3c1ba424e0fb36e923f62ea4098e818ea64323f (diff) | |
Makefile: New %.view target:
`make dgit-maint-merge.7.view' runs `man -l ...'
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index a8760fa..b8d345b 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,6 +4,9 @@ dgit (3.7~) unstable; urgency=medium * Fix clone-dgit-repos-server and print-dgit-repos-server-print-url. Closes:#851906. + Internal changes: + * New %.view target: `make dgit-maint-merge.7.view' runs `man -l ...' + Test suite: * defdistro-dsd-clone-drs: New test which would have detected #851906 (and hopefully #850521). |