Skip to content

Conversation

@jdneo
Copy link
Member

@jdneo jdneo commented Apr 1, 2019

No description provided.

@jdneo jdneo added this to the 0.13.2 milestone Apr 1, 2019
@jdneo jdneo requested review from Vigilans and poppinlp April 1, 2019 12:22
Copy link
Contributor

@Vigilans Vigilans left a comment

Choose a reason for hiding this comment

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

Icon is also changed, is it necessary to mention it?

@jdneo
Copy link
Member Author

jdneo commented Apr 1, 2019

Updated

@jdneo jdneo merged commit 9838b5d into master Apr 2, 2019
@jdneo jdneo deleted the cs/0.13.2 branch April 2, 2019 01:07
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.

3 participants