Merge branch 'timers/nohz'
| Description: | Merge branch 'timers/nohz' | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Date: | July 14, 2016, 9:12 p.m. | |||||||||||||||||||||
| Hash: | 7ea416b3dd83425af293646a3e3b62e8772c1215 | |||||||||||||||||||||
| Branches: | tip | |||||||||||||||||||||
| Gitweb: | git.kernel.org | |||||||||||||||||||||
| Progress: | 60% 6/10 | |||||||||||||||||||||
| Successful: | 100% 6/6 | |||||||||||||||||||||
| Results: |
|
| Description: | Merge branch 'timers/nohz' | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Date: | July 14, 2016, 9:12 p.m. | |||||||||||||||||||||
| Hash: | 7ea416b3dd83425af293646a3e3b62e8772c1215 | |||||||||||||||||||||
| Branches: | tip | |||||||||||||||||||||
| Gitweb: | git.kernel.org | |||||||||||||||||||||
| Progress: | 60% 6/10 | |||||||||||||||||||||
| Successful: | 100% 6/6 | |||||||||||||||||||||
| Results: |
|