Skip to content

Conversation

@wschin
Copy link
Member

@wschin wschin commented Apr 11, 2019

Cherry-pick the following PRs for fixing MF bugs.

#3297
#3265
#3227
#3210
#3170

They are all bug fixes or docs. No API change.

@wschin wschin self-assigned this Apr 11, 2019
@wschin wschin requested a review from codemzs April 11, 2019 18:28
codemzs
codemzs previously approved these changes Apr 11, 2019
* Try buiid omp again

* Add LIBMF's fix
@shauheen
Copy link
Contributor

All done as part of #3333 . Thanks @wschin .

@shauheen shauheen closed this Apr 14, 2019
@ghost ghost locked as resolved and limited conversation to collaborators Mar 22, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants