On Fri, Feb 03, 2017 at 09:30:04AM +1100, Stephen Rothwell wrote:

> > Discarded that commit.

> The patch is still there ...

Only in the merge branch, it got dropped from the source branch but the
merge ended up not being rebuilt.