Compare: 06c41ffd7583d2716d25 vs 20df679f1e07b4e7dd1e
| Description: | Merge branch 'WIP.core/headers' | Merge branch 'sched/urgent' |
|---|---|---|
| Date: | Dec. 17, 2019, 10:24 p.m. | Dec. 9, 2019, 2:04 a.m. |
| Hash: | 06c41ffd7583d2716d25a82a55d784f38d1c9ee6 | 20df679f1e07b4e7dd1eecd8a50d6530c639ac58 |
| Branches: | tip | tip |
| Gitweb: | git.kernel.org | git.kernel.org |
| Progress: | 100% 14/10 | 100% 14/10 |
| Successful: | 100% 14/14 | 100% 14/14 |
| Previous: | 70a53448efd169f8cf3d (compare) | 462ca02d04c308fedabc (compare) |
| Next: | 9e26469dcde21b25157f (compare) | 70a53448efd169f8cf3d (compare) |