Merge branch 'timers/nohz'
| Description: | Merge branch 'timers/nohz' | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Date: | July 14, 2016, 9:12 p.m. | |||||||||||||||||||||
| Hash: | 7ea416b3dd83425af293646a3e3b62e8772c1215 | |||||||||||||||||||||
| Branch: | tip | |||||||||||||||||||||
| Gitweb: | git.kernel.org | |||||||||||||||||||||
| Progress: | 46% 6/13 | |||||||||||||||||||||
| Successful: | 100% 6/6 | |||||||||||||||||||||
| Previous: | fb4f121250b29a97dbb4 (compare) | |||||||||||||||||||||
| Next: | 51810dcda4d005524fb2 (compare) | |||||||||||||||||||||
| Results: |
|