Hi all,
I submitted several patches but none of them got run. It seems that
Jenkins is down. The last run was Dec. 31, 1am, 2015. I am suspecting that
it may be related to some contract only valid in the year of 2015?Thanks and happy new year! Best Pengcheng
