[GitHub] roywei commented on issue #12792: Fix broken amalgamation

2018-12-10 Thread GitBox
roywei commented on issue #12792: Fix broken amalgamation URL: https://github.com/apache/incubator-mxnet/pull/12792#issuecomment-446054260 @ufoym Thanks for the contribution, could you trigger CI again? (you can do that by push an empty commit) -

[GitHub] roywei commented on issue #12792: Fix broken amalgamation

2018-10-29 Thread GitBox
roywei commented on issue #12792: Fix broken amalgamation URL: https://github.com/apache/incubator-mxnet/pull/12792#issuecomment-434107323 ping @reminisce @zheng-da could you take a look at this PR? thanks! This is an automat