GitHub user yonigottesman opened a pull request:
https://github.com/apache/incubator-omid/pull/42
[OMID-110]
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/yonigottesman/incubator-omid omid-110
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/incubator-omid/pull/42.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #42
----
commit 05a0520f04e738cd14d1df633d10b9870f8d387b
Author: Yonatan Gottesman <yonigo10@...>
Date: 2018-08-26T20:55:05Z
OMID-107
commit f9e6f70997260e9164ba5c4ebd24ff98cf9dbacb
Author: Yonatan Gottesman <yonigo10@...>
Date: 2018-09-04T18:12:19Z
omid-110
----
---
