Compare: 52ca5bbe293d1cbe4b52 vs 743d2d6c46bb68a79390
| Description: | Merge branch 'x86/platform' | manual merge of x86/pti |
|---|---|---|
| Date: | Jan. 16, 2018, 2:44 p.m. | Feb. 12, 2018, 9:42 a.m. |
| Hash: | 52ca5bbe293d1cbe4b52593c80c2b0e2df19496d | 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: | a6f4e1a666b599d0e3fc (compare) | 5fbd7b8262bc8ecd8aea (compare) |
| Next: | fe61c35dc243842f216f (compare) | edf28e12ae74c6b3760f (compare) |