Merge branch 'timers/nohz'
| Description: | Merge branch 'timers/nohz' | ||||||
|---|---|---|---|---|---|---|---|
| Date: | April 30, 2013, 10:33 p.m. | ||||||
| Hash: | 99f2e80d32470a7c1ef63fe395d79ca6d0c0d13c | ||||||
| Branch: | tip | ||||||
| Gitweb: | git.kernel.org | ||||||
| Progress: | 7% 1/13 | ||||||
| Successful: | 100% 1/1 | ||||||
| Previous: | 73637b9dde1cd94266c6 (compare) | ||||||
| Next: | ae540bb6f3bcb01fe671 (compare) | ||||||
| Results: |
|