Merge pull request #52 from hvr/pr/other-extensions
authorNeil Mitchell <ndmitchell@gmail.com>
Tue, 22 Dec 2015 10:40:16 +0000 (10:40 +0000)
committerNeil Mitchell <ndmitchell@gmail.com>
Tue, 22 Dec 2015 10:40:16 +0000 (10:40 +0000)
other-extensions hygiene


Trivial merge