Prazek added a comment. BTW I think changing the commit name by removing bug ID would be good, because it would be more clear that this is a feature commit, not a bug fix. You can move t he bug id, or the link to bug to the summary section. https://reviews.llvm.org/D25316