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

Posted to dev@omid.apache.org by ohadshacham <gi...@git.apache.org> on 2018/08/01 08:47:02 UTC

[GitHub] incubator-omid pull request #39: [OMID-105] When a tentative family deletion...

Github user ohadshacham closed the pull request at:

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


---