Marc, >>> Revert the original patch, and clean up loose ends in the next patch. >> >> This commit isn't a revert. Why not? > > What do you mean? Your commit states it reverts the original patch but the submission is not a git revert. If there are reasons why simply reverting the original commit didn't work, I'd like to see them documented in the commit message. -- Martin K. Petersen Oracle Linux Engineering