[$] The end of the 4.12 merge window

Linus Torvalds released the 4.12-rc1prepatch and closed the merge window on May 13 - a move that may havesurprised maintainers who were waiting until the last day to get theirfinal pull requests in. Let that be a lesson to all: one should not expectto have pull requests honored on Mother's Day. Below is a summary of thechanges merged since the May 10 merge-windowsummary.