From: khizmax <libcds.dev@gmail.com>
Date: Mon, 27 Apr 2015 20:32:36 +0000 (+0300)
Subject: Merge branch 'integration' into dev
X-Git-Tag: v2.1.0~245^2~10
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=libcds.git;a=commitdiff_plain;h=d5080a8e05bbdc0db483fbe13b3c236d49ba6262

Merge branch 'integration' into dev
---

d5080a8e05bbdc0db483fbe13b3c236d49ba6262