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