yuyichao closed this revision. yuyichao added a comment. I assume the patch is actually merged even though somehow it doesn't trigger the hook that closes this? Hopefully this is the right way to close a PR... https://reviews.llvm.org/D26123