envoyproxy / envoyproxy/toolshed
Remove custom sphinx httpdomain extension once upstream is fixed
Open
- Dominant language
- Python
- Stars
- 12
- Forks
- 24
- Avg merge
- 6h 37m
- Merged PRs (30d)
- 92
Description
proposed upstream fix is here https://github.com/sphinx-contrib/httpdomain/pull/59
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.