From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 9 Feb 2016 18:45:24 +0000 (+0000)
Subject: Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/53906acf9ec96ec148bf1a18dcdfed785d69c377

Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile

* 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile:
  bin/mdw-build: Detect Scratchbox2 and qualify the `dist-...' dir name.
  bin/mdw-build: Make `checkout=REV' actually work.
  bin/mdw-build: Missing `;;' in `case'.
  dot/gnus.el: Configure the correct way to save articles.
---

53906acf9ec96ec148bf1a18dcdfed785d69c377