Merge downstream gh#225
Merged
shlomi-noach merged 17 commits intomasterfrom merge-downstream-ghJul 11, 2016
+150-30
Commits
Commits on Jun 20, 2016
- committedShlomi Noach
Commits on Jun 27, 2016
- authoredShlomi Noach
- committedShlomi Noach
- authoredShlomi Noach
Commits on Jul 6, 2016
- committedShlomi Noach
- authoredShlomi Noach
- committedShlomi Noach
- authoredShlomi Noach
Commits on Jul 11, 2016
- committedShlomi Noach
- authoredShlomi Noach
- committedShlomi Noach
- authoredShlomi Noach
- committedShlomi Noach
- authoredShlomi Noach
- committedShlomi Noach
- authoredShlomi Noach
- authoredShlomi Noach