From: khizmax <libcds.dev@gmail.com>
Date: Tue, 2 Aug 2016 19:08:00 +0000 (+0300)
Subject: Merge branch 'integration' into dev
X-Git-Tag: v2.2.0~159
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=eed2aaece9fe9383c3988c4804c3f8262ed9d6db;p=libcds.git

Merge branch 'integration' into dev
---

eed2aaece9fe9383c3988c4804c3f8262ed9d6db