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

Conversation

@rdegges
Copy link
Contributor

@rdegges rdegges commented Dec 30, 2016

Updating Sphinx theme to latest release.

@lhazlewood
Copy link
Member

@rdegges is this ready to be merged? If so, let's do it!

@rdegges
Copy link
Contributor Author

rdegges commented Jan 4, 2017

yep!

@rdegges
Copy link
Contributor Author

rdegges commented Jan 4, 2017

merge at will

@mraible mraible merged commit b595dd4 into master Jan 4, 2017
@mraible mraible deleted the update-sphinx-theme branch January 4, 2017 19:23
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