Head 80f71e2bdf9231d7f801 on branch tip

kisskb

Revisions | Branches | Compilers | Configs | Build Results | Build Failures |

Merge branch 'timers/core'

Description: Merge branch 'timers/core'
Date: Oct. 20, 2017, 4:07 a.m.
Hash: 80f71e2bdf9231d7f801ac4c731662b09df06cec
Branch: tip
Gitweb: git.kernel.org
Progress: 61% 8/13
Successful: 100% 8/8
Previous: 7ffee292ddcafd831516 (compare)
Next: 321d6af21025b8472897 (compare)
Results:
Status Date/time Target
OK Oct 20 2017, 04:07 tip/pseries_defconfig/powerpc-gcc4.6
OK Oct 20 2017, 04:07 tip/pmac32_defconfig/powerpc-gcc4.6
OK Oct 20 2017, 04:07 tip/ppc64_defconfig/powerpc-gcc4.6
OK Oct 20 2017, 04:09 tip/powerpc-allnoconfig/powerpc-gcc4.6
OK Oct 20 2017, 04:09 tip/ppc6xx_defconfig/powerpc-gcc4.6
OK Oct 20 2017, 04:09 tip/ppc64e_defconfig/powerpc-gcc4.6
OK Oct 20 2017, 04:11 tip/arm64-defconfig/arm64-gcc5
OK Oct 20 2017, 04:11 tip/ppc64le_defconfig/powerpc-gcc5
© Michael Ellerman 2006-2018.