Compare: 1da71dc1b62dd5f8b7e5 vs 5ce3b6b880488d6b0fb5
| Description: | Merge branch 'x86/timers' | Merge branch 'x86/pti' |
|---|---|---|
| Date: | Oct. 3, 2017, 4:47 a.m. | Dec. 16, 2017, 10:44 a.m. |
| Hash: | 1da71dc1b62dd5f8b7e5a7368500b0e5f2ae8b51 | 5ce3b6b880488d6b0fb529fea0dee55307d48d42 |
| Branches: | tip | tip |
| Gitweb: | git.kernel.org | git.kernel.org |
| Progress: | 61% 8/13 | 61% 8/13 |
| Successful: | 100% 8/8 | 100% 8/8 |
| Previous: | 437df561a333e1eaca40 (compare) | ec461773c41ae7704d54 (compare) |
| Next: | ad5edd61cc9aaa388938 (compare) | 52e3fb8a84553f3e48fe (compare) |