**** BEGIN LOGGING AT Sun Mar 12 03:00:01 2017 Mar 12 21:38:15 wigyori: in the mood for merging some PR's? Mar 12 21:59:30 philipp64: not a question of mood but rather of time Mar 12 22:00:05 will do my best ;p Mar 12 22:11:50 thanks. I find that if my PR's are going in, I try to find more time to continue being productive... so maybe it's a vicious cycle. :-P Mar 12 22:19:21 :) Mar 12 22:34:54 I have about 3 which are cherry-picks of crucial stuff that went into LEDE. Mar 12 22:35:03 the rest is my own contribution. **** ENDING LOGGING AT Mon Mar 13 03:00:01 2017