Skip to content
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

FIX github changelog anchor not found #163

Merged
merged 1 commit into from
Jul 27, 2023
Merged

Conversation

MaximeD
Copy link
Owner

@MaximeD MaximeD commented Jul 27, 2023

Github seems to be now escaping their css attributes. That is #630 now becomes \\\"#630\\\". This patch fix finding the anchor in the changelog.

@MaximeD MaximeD force-pushed the fix_changelog_not_found branch 2 times, most recently from bcf47d1 to 3687895 Compare July 27, 2023 06:43
@MaximeD MaximeD changed the title Fix github changelog anchor not found FIX github changelog anchor not found Jul 27, 2023
Github seems to be now escaping their css attributes. That is `#630` now
becomes `\\\"#630\\\"`. This patch fix finding the anchor in the
changelog.
@MaximeD MaximeD merged commit b57229e into master Jul 27, 2023
@MaximeD MaximeD deleted the fix_changelog_not_found branch July 27, 2023 06:43
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