Merge branch 'timers/nohz'
| Description: | Merge branch 'timers/nohz' | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Date: | Aug. 17, 2013, 7:48 a.m. | |||||||||||||||||||||
| Hash: | 5ff7694eac4834fff64ee6b3522b40e57925840b | |||||||||||||||||||||
| Branch: | tip | |||||||||||||||||||||
| Gitweb: | git.kernel.org | |||||||||||||||||||||
| Progress: | 46% 6/13 | |||||||||||||||||||||
| Successful: | 100% 6/6 | |||||||||||||||||||||
| Previous: | 365203ab8716ca624414 (compare) | |||||||||||||||||||||
| Next: | adcaaf572967d0e66ed1 (compare) | |||||||||||||||||||||
| Results: |
|