Merge branch 'timers/nohz'
| Description: | Merge branch 'timers/nohz' | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Date: | May 4, 2013, 7:01 p.m. | |||||||||||||||||||||
| Hash: | 36401cf29f31373aa987d44b80c01e3d2bc8f0f8 | |||||||||||||||||||||
| Branch: | tip | |||||||||||||||||||||
| Gitweb: | git.kernel.org | |||||||||||||||||||||
| Progress: | 46% 6/13 | |||||||||||||||||||||
| Successful: | 100% 6/6 | |||||||||||||||||||||
| Previous: | 432b9ba91526319875ea (compare) | |||||||||||||||||||||
| Next: | 3ef783e5bb578e57fe8a (compare) | |||||||||||||||||||||
| Results: |
|