Skip to content

Conversation

chayim
Copy link
Contributor

@chayim chayim commented Jun 17, 2021

To fix CI - using admin to merge.

chayim and others added 2 commits June 17, 2021 12:20
To fix CI - using admin to merge.
@chayim chayim requested a review from DvirDukhan June 17, 2021 09:29
@chayim chayim merged commit 337695e into 1.2 Jun 20, 2021
@chayim chayim deleted the 1.2-cherries branch June 20, 2021 06:16
@chayim chayim mentioned this pull request Jul 22, 2021
@chayim chayim mentioned this pull request Nov 7, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants