[GitHub] roywei commented on issue #12792: Fix broken amalgamation
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
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