Skip to content
This repository has been archived by the owner on Nov 28, 2020. It is now read-only.

docs: add Web Developer Tooling use case #143

Closed
wants to merge 4 commits into from

Conversation

bmeurer
Copy link
Member

@bmeurer bmeurer commented Sep 8, 2017

This was identified as missing in the last WG meeting, and it's planned
to be addressed by the upcoming WebToolingBenchmark later this year
(see #138).

This was identified as missing in the last WG meeting, and it's planned
to be addressed by the upcoming WebToolingBenchmark later this year.
kunalspathak

This comment was marked as off-topic.

kunalspathak

This comment was marked as off-topic.

@bmeurer
Copy link
Member Author

bmeurer commented Sep 11, 2017

Anything else missing for this PR?

mhdawson

This comment was marked as off-topic.

mhdawson pushed a commit that referenced this pull request Sep 19, 2017
This was identified as missing in the last WG meeting, and it's planned
to be addressed by the upcoming WebToolingBenchmark later this year.

PR-URL: #143
Reviewed-By: Kunal Pathak <kunal.pathak@microsoft.com>
Reviewed-By: Michael Dawson <michael_dawson@ca.ibm.com>
@mhdawson
Copy link
Member

Landed as 21ca819. Thanks for taking the time to add that use case.

@mhdawson mhdawson closed this Sep 19, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants