Skip to content
This repository was archived by the owner on Apr 29, 2022. It is now read-only.

Conversation

aramboi
Copy link
Member

@aramboi aramboi commented Mar 2, 2020

This is needed by PR #1201 to pass the pipeline.

Also fixes #1181

@aramboi aramboi requested a review from umgelurgel March 2, 2020 23:00
@aramboi aramboi merged commit 9f61392 into dev/ep2020 Mar 3, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

1 participant