From: Jérémie Astor Date: Thu, 20 Jun 2019 17:26:26 +0000 (+0200) Subject: Merge pull request #129 from fennecdjay/all-contributors/add-PaulBatchelor X-Git-Tag: nightly~2412 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=63c693cba81f7d92ac8927fdcb4677228a58acf8;p=gwion.git Merge pull request #129 from fennecdjay/all-contributors/add-PaulBatchelor docs: add PaulBatchelor as a contributor --- 63c693cba81f7d92ac8927fdcb4677228a58acf8