Compare: 743d2d6c46bb68a79390 vs 7233a087cde353b8fefa
| Description: | manual merge of x86/pti | Merge branch 'x86/timers' |
|---|---|---|
| Date: | Feb. 12, 2018, 9:42 a.m. | Jan. 22, 2018, 5:04 p.m. |
| Hash: | 743d2d6c46bb68a793904c2dcf6e1b19e8b404fa | 7233a087cde353b8fefae46a7234740ac8357bd3 |
| 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: | 5fbd7b8262bc8ecd8aea (compare) | c6908f3151e19cf60cec (compare) |
| Next: | edf28e12ae74c6b3760f (compare) | de5a19299c04591bde7b (compare) |