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;hp=f2507a58487ba57bbbd7831588523f4577389431

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