Bugfix release.
What's Changed
- Point 'index' in CoqDocJS header to index.html by @SwampertX in #1094
- Correct noccur for Template by @MevenBertrand in #1086
- Fix substitution during eta expansion of partial application by @4ever2 in #1117
New Contributors
- @SwampertX made their first contribution in #1094
Full Changelog: v1.3.2-8.19...v1.3.3-8.19