From: Jean Privat <jean@pryen.org>
Date: Wed, 7 Aug 2013 12:59:45 +0000 (-0400)
Subject: Merge remote-tracking branch 'alexandre/nitg-poset'
X-Git-Tag: v0.6.1~58
X-Git-Url: http://nitlanguage.org?hp=fc981a6e5764bd150b6439151fb594b0dc1b9cde

Merge remote-tracking branch 'alexandre/nitg-poset'
---