Compare: 743d2d6c46bb68a79390 vs 046bd415c0c945a078e5
| Description: | manual merge of x86/pti | Merge branch 'x86/platform' |
|---|---|---|
| Date: | Feb. 12, 2018, 9:42 a.m. | March 12, 2018, 6:25 p.m. |
| Hash: | 743d2d6c46bb68a793904c2dcf6e1b19e8b404fa | 046bd415c0c945a078e5cac2b0df6a1ff5733dfe |
| 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) | 3062702ae43ff84bcf41 (compare) |
| Next: | edf28e12ae74c6b3760f (compare) | e0abb1578550086afcd4 (compare) |