On Sat, Nov 23, 2013 at 10:37:13AM +0100, Pali Rohár wrote:> Now 3.13-rc1 is out, but your tree was not merged. Can you > try to ping Linus what happened?See here: http://www.spinics.net/lists/arm-kernel/msg288508.html-- Sebastian[unhandled content-type:application/pgp-signature]