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

2017-12-01 NEUF Meeting Notes #15

Merged
merged 1 commit into from
Dec 15, 2017
Merged

2017-12-01 NEUF Meeting Notes #15

merged 1 commit into from
Dec 15, 2017

Conversation

dshaw
Copy link
Contributor

@dshaw dshaw commented Dec 1, 2017

For #6

Copy link
Member

@mhdawson mhdawson left a comment

Choose a reason for hiding this comment

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

LGTM

@mikehostetler
Copy link
Contributor

LGTM

@dshaw dshaw merged commit db824de into master Dec 15, 2017
@dshaw dshaw deleted the dshaw-minutes-2017-12-01 branch December 15, 2017 16:53
@dshaw
Copy link
Contributor Author

dshaw commented Dec 15, 2017

I have additional notes provided by @mihaiep that need to be integrated.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants