Merge branch 'timers/nohz'
Description: | Merge branch 'timers/nohz' | |||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Date: | Aug. 17, 2013, 7:48 a.m. | |||||||||||||||||||||
Hash: | 5ff7694eac4834fff64ee6b3522b40e57925840b | |||||||||||||||||||||
Branches: | tip | |||||||||||||||||||||
Gitweb: | git.kernel.org | |||||||||||||||||||||
Progress: | 46% 6/13 | |||||||||||||||||||||
Successful: | 100% 6/6 | |||||||||||||||||||||
Results: |
|
Description: | Merge branch 'timers/nohz' | |||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Date: | Aug. 17, 2013, 7:48 a.m. | |||||||||||||||||||||
Hash: | 5ff7694eac4834fff64ee6b3522b40e57925840b | |||||||||||||||||||||
Branches: | tip | |||||||||||||||||||||
Gitweb: | git.kernel.org | |||||||||||||||||||||
Progress: | 46% 6/13 | |||||||||||||||||||||
Successful: | 100% 6/6 | |||||||||||||||||||||
Results: |
|