Skip to content

Conversation

@LinusBorg
Copy link
Member

closes #1833

@chasegiunta
Copy link

Appreciate it @LinusBorg!

@yyx990803 yyx990803 merged commit 8cdc9d1 into dev Jul 17, 2018
@LinusBorg LinusBorg deleted the linuborg-fix-issue-1833-2 branch July 31, 2018 07:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment