Skip to content
This repository has been archived by the owner on Jun 7, 2020. It is now read-only.

[RELEASE] 3.1.1 hotfix #1835

Merged
merged 3 commits into from
Nov 5, 2018
Merged

[RELEASE] 3.1.1 hotfix #1835

merged 3 commits into from
Nov 5, 2018

Conversation

luciofm
Copy link
Contributor

@luciofm luciofm commented Nov 5, 2018

Crash fixes for 3.1.0

@luciofm luciofm changed the base branch from develop to master November 5, 2018 15:35
@rafaelks rafaelks added this to the 3.1.1 milestone Nov 5, 2018
Copy link
Contributor

@rafaelks rafaelks left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@rafaelks rafaelks merged commit 95ab3dc into master Nov 5, 2018
@rafaelks rafaelks deleted the release/3.1.1-hotfix branch November 5, 2018 17:11
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants