Status: | OK |
---|---|
Date/Time: | Jul 11 2018, 06:08 |
Duration: | 0:00:15.187432 |
Builder: | ka4 |
Revision: | Merge tag 'drm-fixes-2018-07-10' of git://anongit.freedesktop.org/drm/drm (30c2c32d7f703530a6a0c9d2435117a9907d7109)
|
Target: | linus/jornada720_defconfig/arm-gcc4.6 |
Branch: | linus |
Compiler: | arm-gcc4.6 (arm-unknown-linux-gnueabi-gcc (GCC) 4.6.3) |
Config: | jornada720_defconfig (download) |