* 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).