From: khizmax <khizmax@gmail.com>
Date: Tue, 15 Nov 2016 07:19:09 +0000 (+0300)
Subject: Merge commit 'c3352315d3563a201433837b0932bba249344f67' into dev
X-Git-Tag: v2.2.0~55
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5784cdf5f0194b414836bb54de6b85a1f86a6a1a;p=libcds.git

Merge commit 'c3352315d3563a201433837b0932bba249344f67' into dev
---

5784cdf5f0194b414836bb54de6b85a1f86a6a1a