Re: [heycam/webidl] Use infra notation in Overloading section (#392) from Tobie Langel on 2017-08-16 (public-webapps-github@w3.org from August 2017)

From: Tobie Langel <notifications@github.com>
Date: Wed, 16 Aug 2017 20:28:36 +0000 (UTC)
To: heycam/webidl <webidl@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <heycam/webidl/pull/392/push/1926055144@github.com>

@tobie pushed 1 commit.

2539eab  Address nits.


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/heycam/webidl/pull/392/files/a76c07a79c0ef4165f06a153229fe961e343d11e..2539eab86fbb9bd1c6af8fc706af4ff620146f4f

Received on Wednesday, 16 August 2017 20:29:03 UTC