Compare: 5b7ff2d0076438d14177 vs 5b7ff2d0076438d14177
| Description: | Merge branch into tip/master: 'x86/timers' | Merge branch into tip/master: 'x86/timers' |
|---|---|---|
| Date: | Aug. 28, 2022, 1:45 a.m. | Aug. 28, 2022, 1:45 a.m. |
| Hash: | 5b7ff2d0076438d1417738da38d1dc38595b130a | 5b7ff2d0076438d1417738da38d1dc38595b130a |
| Branches: | tip | tip |
| Gitweb: | git.kernel.org | git.kernel.org |
| Progress: | 84% 11/13 | 84% 11/13 |
| Successful: | 90% 10/11 | 90% 10/11 |
| Previous: | a41a56237ce41d5b1758 (compare) | a41a56237ce41d5b1758 (compare) |
| Next: | a6fa671e8ba741d5cebb (compare) | a6fa671e8ba741d5cebb (compare) |