From: Kim Nguyễn <kim.nguyen@lri.fr>
Date: Tue, 18 Apr 2017 12:53:58 +0000 (+0200)
Subject: Merge branch 'jit' of ssh://git.nguyen.vg/tatoo into jit
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=refs%2Fheads%2Fjit

Merge branch 'jit' of ssh://git.nguyen.vg/tatoo into jit
---

f075cc700c848d75d941e11eda36380e1760d0d9