From: khizmax <khizmax@gmail.com>
Date: Mon, 1 Aug 2016 08:46:02 +0000 (+0300)
Subject: Merge branch 'dev' into integration
X-Git-Tag: v2.2.0~159^2~3
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a4d098afe1cfb4cfb6359c4bb4e22d8d9d75f0b5;p=libcds.git

Merge branch 'dev' into integration
---

a4d098afe1cfb4cfb6359c4bb4e22d8d9d75f0b5