On Monday, April 20, 2015 08:11:05 Sven Eckelmann wrote:
Depends on your definition of "already". It was not cherry-picked when I've sent this patch. The commit you are referring to was cherry-picked 25 minutes before you wrote this mail and my patch was send 5160 minutes before your mail.
I was referring to the time between my cherry-pick and reading your patch mail.
Cheery, Marek