On Fri, Mar 21, 2014 at 10:57:08AM +0000, Marc Zyngier wrote: > Joerg: are you still taking pull requests for 3.15, or shall I wait > until rc1? No need to wait for rc1, send me a pull-request and I will send the fix upstream. Joerg