Is this going to ever end? Some prs are huge and this is a ci script we are 
talking about. I'm already splitting the previous PR. But if you feel strongly 
about it I can do it. Can you confirm how strongly you want this?

[ Full content available at: 
https://github.com/apache/incubator-mxnet/pull/12296 ]
This message was relayed via gitbox.apache.org for [email protected]

Reply via email to