manual merge of x86/pti
| Description: | manual merge of x86/pti | |||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Date: | Feb. 12, 2018, 9:42 a.m. | |||||||||||||||||||||||||||
| Hash: | 743d2d6c46bb68a793904c2dcf6e1b19e8b404fa | |||||||||||||||||||||||||||
| Branch: | tip | |||||||||||||||||||||||||||
| Gitweb: | git.kernel.org | |||||||||||||||||||||||||||
| Progress: | 61% 8/13 | |||||||||||||||||||||||||||
| Successful: | 100% 8/8 | |||||||||||||||||||||||||||
| Previous: | 5fbd7b8262bc8ecd8aea (compare) | |||||||||||||||||||||||||||
| Next: | edf28e12ae74c6b3760f (compare) | |||||||||||||||||||||||||||
| Results: |
|