Skip to content

1.2 cherries #774

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 19 commits into from
Jun 3, 2021
Merged

1.2 cherries #774

merged 19 commits into from
Jun 3, 2021

Conversation

chayim
Copy link
Contributor

@chayim chayim commented Jun 1, 2021

No description provided.

@chayim chayim changed the base branch from master to 1.2 June 1, 2021 10:05
@chayim chayim requested review from DvirDukhan and alonre24 June 1, 2021 10:05
alonre24
alonre24 previously approved these changes Jun 2, 2021
@chayim chayim merged commit b8784e6 into 1.2 Jun 3, 2021
@chayim chayim deleted the 1.2-cherries branch June 3, 2021 07:42
@chayim chayim mentioned this pull request Jul 22, 2021
@chayim chayim mentioned this pull request Nov 7, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants