Compare: 80f71e2bdf9231d7f801 vs 232d42b5db8608fcd916
| Description: | Merge branch 'timers/core' | Merge branch 'timers/urgent' |
|---|---|---|
| Date: | Oct. 20, 2017, 4:07 a.m. | Nov. 14, 2017, 5:21 p.m. |
| Hash: | 80f71e2bdf9231d7f801ac4c731662b09df06cec | 232d42b5db8608fcd916dcef7b2f4ff0e328a2d2 |
| 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: | 7ffee292ddcafd831516 (compare) | a4d5e6716f4fe90f0d62 (compare) |
| Next: | 321d6af21025b8472897 (compare) | a2c95b3e7d98449f2a75 (compare) |