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

lowercase head for contributing docs #5122

Closed
jkup opened this issue Oct 25, 2016 · 0 comments · Fixed by #5123
Closed

lowercase head for contributing docs #5122

jkup opened this issue Oct 25, 2016 · 0 comments · Fixed by #5123

Comments

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants