Compare: 7233a087cde353b8fefa vs 743d2d6c46bb68a79390
| Description: | Merge branch 'x86/timers' | manual merge of x86/pti |
|---|---|---|
| Date: | Jan. 22, 2018, 5:04 p.m. | Feb. 12, 2018, 9:42 a.m. |
| Hash: | 7233a087cde353b8fefae46a7234740ac8357bd3 | 743d2d6c46bb68a793904c2dcf6e1b19e8b404fa |
| Branches: | tip | tip |
| Gitweb: | git.kernel.org | git.kernel.org |
| Progress: | 80% 8/10 | 80% 8/10 |
| Successful: | 100% 8/8 | 100% 8/8 |
| Previous: | c6908f3151e19cf60cec (compare) | 5fbd7b8262bc8ecd8aea (compare) |
| Next: | de5a19299c04591bde7b (compare) | edf28e12ae74c6b3760f (compare) |