search

spring-io / issue-bot

12 stars 17 forks source link

Fix anchor link to headings #25

Closed jgrandja closed 4 years ago

jgrandja commented 4 years ago

The named anchors don't actually link to the headings. This PR fixes that.