[GitHub] incubator-omid pull request #35: [OMID-100] James Taylor's patch to: https:/...

[ohadshacham]

Github user ohadshacham closed the pull request at:

    https://github.com/apache/incubator-omid/pull/35


---