@marcosnils @sazzad16 Has the merged PR(#1550) been rollback? I found that several recently submitted PRs have an extra commit about PR(#1550) now. But I haven’t seen it a few days ago.
I fetched the upstream master branch, but the commit about PR(#1550) still exists.