Hi Michael, et al Two weeks on and this change is still in the codebase, so I guess it has finally stuck for good. Thanks for pushing on with this patch and to the bot maintainers for working through the issues. We really appreciate it. Ta Rich > http://reviews.llvm.org/rL238192