From: khizmax <khizmax@gmail.com>
Date: Sat, 19 Aug 2017 08:32:29 +0000 (+0300)
Subject: Merge branch 'ldionne-ldionne-cmake' into dev
X-Git-Tag: v2.3.1~12
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=8abb8f5e76bd8d723aff8078934ee30e59fa117a;p=libcds.git

Merge branch 'ldionne-ldionne-cmake' into dev
---

8abb8f5e76bd8d723aff8078934ee30e59fa117a