From: Jérémie Astor <fennecdjay@gmail.com>
Date: Mon, 21 Sep 2020 12:42:54 +0000 (+0200)
Subject: Merge pull request #8 from amberisvibin/mdbook
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=19a718f8092e35f5412efbebae4791815d16a696;p=gwion.git

Merge pull request #8 from amberisvibin/mdbook

Separate git commit and commit date on benchmarks page.
---

19a718f8092e35f5412efbebae4791815d16a696