You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@omid.apache.org by yonigottesman <gi...@git.apache.org> on 2018/09/04 18:15:45 UTC

[GitHub] incubator-omid pull request #42: [OMID-110]

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 <yo...@...>
Date:   2018-08-26T20:55:05Z

    OMID-107

commit f9e6f70997260e9164ba5c4ebd24ff98cf9dbacb
Author: Yonatan Gottesman <yo...@...>
Date:   2018-09-04T18:12:19Z

    omid-110

----


---

[GitHub] incubator-omid pull request #42: [OMID-110]

Posted by yonigottesman <gi...@git.apache.org>.

Github user yonigottesman closed the pull request at:

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


---