From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 4 Sep 2018 11:20:34 +0000 (+0100)
Subject: Merge remote-tracking branches 'origin/manpage' and 'origin/debian'
X-Git-Tag: 0.9.0-dev~3
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/mm/commitdiff_plain/0ac9994b6470314803465ebdfb2dd7d02d7d204d?ds=sidebyside

Merge remote-tracking branches 'origin/manpage' and 'origin/debian'

* origin/manpage:
  mm.6: Add a manpage.

* origin/debian:
  Debianization!
---

0ac9994b6470314803465ebdfb2dd7d02d7d204d