Skip to content

Ems hotfixes#196

Merged
goodboy merged 2 commits intomasterfrom
ems_hotfixes
Jun 10, 2021
Merged

Ems hotfixes#196
goodboy merged 2 commits intomasterfrom
ems_hotfixes

Conversation

@goodboy
Copy link
Copy Markdown
Contributor

@goodboy goodboy commented Jun 10, 2021

Quick fixes trailing from #190.

@goodboy goodboy requested review from guilledk and iamzoltan June 10, 2021 16:03
@goodboy goodboy merged commit 44e2119 into master Jun 10, 2021
@goodboy goodboy deleted the ems_hotfixes branch June 10, 2021 17:20
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.

1 participant