Skip to content

Backport PR #10065 on branch v2.1.1-doc #10080

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

Merged
merged 1 commit into from
Dec 24, 2017

Conversation

lumberbot-app[bot]
Copy link

@lumberbot-app lumberbot-app bot commented Dec 23, 2017

Backport PR #10065: Add version to documentation header

@lumberbot-app lumberbot-app bot added this to the v2.1.1-doc milestone Dec 23, 2017
@tacaswell tacaswell merged commit b82d371 into v2.1.1-doc Dec 24, 2017
@tacaswell tacaswell deleted the auto-backport-of-pr-10065 branch December 24, 2017 03:11
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.

1 participant