- From: Jeffrey Yasskin <notifications@github.com>
- Date: Fri, 14 Oct 2016 13:29:50 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Friday, 14 October 2016 20:30:38 UTC
@jyasskin pushed 1 commit. 20c46cc Use «» to represent a record's sequence of mappings. -- You are receiving this because you are subscribed to this thread. View it on GitHub: https://github.com/heycam/webidl/pull/180/files/9e22b41fc167818b2456b87ca00b4454ca352b60..20c46cc6fc5b2b1fac7b02a45c10c8104f808ef8
Received on Friday, 14 October 2016 20:30:38 UTC