Skip to content

Conversation

@hekaisheng
Copy link
Contributor

Backport of #792.

@hekaisheng hekaisheng added type: enhancement request backport PR backported from pre-release branch to stable branch labels Nov 2, 2019
@hekaisheng hekaisheng added this to the v0.2.3 milestone Nov 2, 2019
Copy link
Collaborator

@qinxuye qinxuye left a comment

Choose a reason for hiding this comment

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

LGTM

@qinxuye qinxuye merged commit b936845 into mars-project:v0.2 Nov 4, 2019
@hekaisheng hekaisheng deleted the v0.2-backport-792 branch November 5, 2019 02:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport PR backported from pre-release branch to stable branch type: enhancement request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants