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

Content edits #798

Merged
merged 2 commits into from
Oct 2, 2015
Merged

Content edits #798

merged 2 commits into from
Oct 2, 2015

Conversation

emileighoutlaw
Copy link
Contributor

Fixes two minor
capitalization things.
Should be a quick merge.

@jmcarp
Copy link
Contributor

jmcarp commented Oct 2, 2015

@emileighoutlaw it looks like tests are failing here due to a bug that was fixed a few weeks ago, and the parent of the most recent commit comes from about a month back. Your changes didn't break the tests, so I'm going to merge now, but in general, it's good practice to pull the latest changes before submitting a patch.

@jmcarp jmcarp merged commit b74bf26 into develop Oct 2, 2015
@jmcarp jmcarp removed the plz-review label Oct 2, 2015
@jmcarp jmcarp deleted the content-edits branch October 2, 2015 16:37
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