Patch Set 1:

I'd update the ip log and move on. I haven't found anything in the dev process that prevents us from doing this. I can double check with the IP team, but everyone is off today in Canada Day due to Family Day. I mean, if we can live without this one in 0.11.3 then let's just dump it to master and not take chances.