Skip to content

Conversation

@nchase
Copy link

@nchase nchase commented Jan 17, 2017

potentially resolves #217

I saw #217 and then I saw this file – is there more needed to resolve that issue, or will this simple change do it?

potentially resolves Factual#217

I saw Factual#217 and then I saw this file – is there more needed to resolve that issue, or will this simple change do it?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

drake-pkg probably should have version bumped

1 participant