Skip to content
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

Release 0.19.7.1 #823

Merged
merged 3 commits into from
Jul 10, 2019
Merged

Release 0.19.7.1 #823

merged 3 commits into from
Jul 10, 2019

Conversation

ClemDoum
Copy link
Collaborator

@ClemDoum ClemDoum commented Jul 10, 2019

Fixed

  • Fix non-deterministic behavior #817

@ClemDoum ClemDoum requested a review from adrienball July 10, 2019 09:11
@ClemDoum ClemDoum changed the title Release/lts 0.19.7.1 Release 0.19.7.1 Jul 10, 2019
@adrienball adrienball merged commit 86fb551 into lts-0.19.7.x Jul 10, 2019
@adrienball adrienball deleted the release/lts-0.19.7.1 branch July 10, 2019 14:19
# 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.

2 participants