Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Support 2019.3 platform #4385

Merged
merged 3 commits into from Sep 17, 2019
Merged

Support 2019.3 platform #4385

merged 3 commits into from Sep 17, 2019

Conversation

Undin
Copy link
Member

@Undin Undin commented Sep 13, 2019

Closes #4379

@Undin Undin added the feature label Sep 13, 2019
@Undin Undin added this to In Progress in To test via automation Sep 13, 2019
@Undin Undin added this to the v106 milestone Sep 13, 2019
@Undin Undin marked this pull request as ready for review September 16, 2019 21:34
@Undin
Copy link
Member Author

Undin commented Sep 16, 2019

bors r+

bors bot added a commit that referenced this pull request Sep 16, 2019
4385: Support 2019.3 platform r=Undin a=Undin

Closes #4379

Co-authored-by: Arseniy Pendryak <a.pendryak@yandex.ru>
@bors
Copy link
Contributor

bors bot commented Sep 16, 2019

Build failed

@Undin
Copy link
Member Author

Undin commented Sep 17, 2019

bors r+

bors bot added a commit that referenced this pull request Sep 17, 2019
4385: Support 2019.3 platform r=Undin a=Undin

Closes #4379

Co-authored-by: Arseniy Pendryak <a.pendryak@yandex.ru>
@bors
Copy link
Contributor

bors bot commented Sep 17, 2019

@bors bors bot merged commit a00cb20 into master Sep 17, 2019
To test automation moved this from In Progress to Test Sep 17, 2019
@bors bors bot deleted the idea-193 branch September 17, 2019 08:19
@lancelote lancelote moved this from Test to Done in To test Sep 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
To test
  
Done
Development

Successfully merging this pull request may close these issues.

Support 2019.3 platform
1 participant