Week 21 - no WHATWG patches cherry-picked this week

Hi all,

there have been no changes in the WHATWG repository since r7867 a couple 
of weeks ago, so there is no cherry-picking this week.

-- 
Robin Berjon - http://berjon.com/ - @robinberjon

Received on Tuesday, 28 May 2013 10:23:55 UTC