Skip to content
This repository was archived by the owner on Dec 4, 2017. It is now read-only.

[WIP] updates based on Ward's feedback and more edits of my own #3081

Closed
wants to merge 2 commits into from

Conversation

cfranger
Copy link
Contributor

@cfranger cfranger commented Jan 7, 2017

@wardbell Here are my changes from today. These changes don't include your latest updated from PR 3077.

CC @robwormald @naomiblack

@wardbell
Copy link
Contributor

wardbell commented Jan 7, 2017

Closed after cherry picking 6cc22fa into PR #3077

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

Successfully merging this pull request may close these issues.

3 participants