Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump readthedocs-sphinx-ext to 0.5.5 to resolve search issues #2834

Merged
merged 1 commit into from
May 11, 2017

Conversation

agjohnson
Copy link
Contributor

Addresses #2708 by using a version of our extension that supports more than one
version of Sphinx.

Refs #1895
Refs #1850
Refs #2755

Addresses #2708 by using a version of our extension that supports more than one
version of Sphinx.

Refs #1895
Refs #1850
Refs #2755
@agjohnson agjohnson added PR: work in progress Pull request is not ready for full review PR: ready for review and removed PR: work in progress Pull request is not ready for full review labels May 10, 2017
@ericholscher
Copy link
Member

Looks fine.

@agjohnson agjohnson merged commit ef2a698 into master May 11, 2017
@agjohnson agjohnson deleted the sphinx-ext-0.5.5 branch May 11, 2017 18:44
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.

2 participants