Skip to content
This repository was archived by the owner on Feb 21, 2018. It is now read-only.

add minutes from 2015-11-19 meeting#12

Merged
pmuellr merged 1 commit intomasterfrom
2015-11-19-wg
Dec 11, 2015
Merged

add minutes from 2015-11-19 meeting#12
pmuellr merged 1 commit intomasterfrom
2015-11-19-wg

Conversation

@pmuellr
Copy link
Contributor

@pmuellr pmuellr commented Dec 1, 2015

No description provided.

@trevnorris
Copy link
Contributor

LGTM

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

minimize performance => minimize impact on performance

@orangemocha
Copy link
Contributor

Minor nits. Other than that LGTM

@mhdawson
Copy link
Member

mhdawson commented Dec 3, 2015

lgtm

@pmuellr pmuellr merged commit 2b9dc16 into master Dec 11, 2015
@pmuellr
Copy link
Contributor Author

pmuellr commented Dec 11, 2015

Thanks everyone; merged in the suggested fixed and pushed on master.

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.

4 participants