Compare: 3876691d317c2bbcdbf7 vs bc19c93a11f9bc0ccf55
Description: | Merge branch 'x86/timers' | Merge branch 'x86/pti' |
---|---|---|
Date: | Dec. 22, 2018, 10:28 p.m. | Feb. 13, 2019, 6:23 p.m. |
Hash: | 3876691d317c2bbcdbf7bd228f0a7d4de7c7e699 | bc19c93a11f9bc0ccf55fc9221ffc9b3372062fb |
Branches: | tip | tip |
Gitweb: | git.kernel.org | git.kernel.org |
Progress: | 76% 10/13 | 100% 14/13 |
Successful: | 100% 10/10 | 100% 14/14 |
Previous: | b0282f07c34e00c0f53b (compare) | 095746a50dee6ab8e890 (compare) |
Next: | 930495621be4f10b907c (compare) | cb6988fee38931daaac0 (compare) |