No, it never pointed at the HEAD on release-branch. Before b3be92f, it was pointing at tvm@290226e
[ Full content available at: https://github.com/apache/incubator-mxnet/pull/12495 ] This message was relayed via gitbox.apache.org for [email protected]
