You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.
I pushed it separately to branch 5.1.
In the future use git cherry-pick -x COMMITID, because it makes a reference to the parent commit, allowing easier to track what was cherry-picked.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.