| Status: | OK |
|---|---|
| Date/Time: | May 6 2013, 07:10 |
| Revision: | Merge branch 'timers-nohz-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (534c97b0950b1967bca1c753aeaed32f5db40264)
|
| Target: | linus/x86_64-defconfig/x86_64-gcc4.6 |
| Branch: | linus |
| Compiler: | x86_64-gcc4.6 (x86_64-linux-gcc (GCC) 4.6.3) |
| Config: | defconfig (download) |