From: khizmax <khizmax@gmail.com>
Date: Wed, 21 Oct 2015 09:56:23 +0000 (+0300)
Subject: Merge branch 'dev' of github.com:khizmax/libcds into dev
X-Git-Tag: v2.1.0~80^2~2
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=libcds.git;a=commitdiff_plain;h=dc7e8ebace07702cb65c130bf41ae6d70f8b9e56;hp=-c

Merge branch 'dev' of github.com:khizmax/libcds into dev
---

dc7e8ebace07702cb65c130bf41ae6d70f8b9e56