So, like, the other day Kumar Gala mumbled: > > Duplicating the subject heading is fine. I disagree. It will end up in the git log as a duplicate sentence that way. Linus has asked in the past that we not do that. Thanks, jdl