Merge pull request #8 from bgamari/master
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 20 Dec 2015 19:34:47 +0000 (19:34 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 20 Dec 2015 19:34:47 +0000 (19:34 +0000)
Miscellany


Trivial merge