patrickstuedi Thu, 06 Sep 2018 03:18:02 -0700
Github user patrickstuedi commented on the issue: https://github.com/apache/incubator-crail/pull/34 Sure, let's merge.
---