Skip to content

[DOC] Fix yet another dead link to Ragel#510

Merged
hsbt merged 1 commit intoruby:masterfrom
nobu:fix-ragel-link
Jan 23, 2023
Merged

[DOC] Fix yet another dead link to Ragel#510
hsbt merged 1 commit intoruby:masterfrom
nobu:fix-ragel-link

Conversation

@nobu
Copy link
Member

@nobu nobu commented Jan 23, 2023

And extract the same links to a footnote.

And extract the same links to a footnote.
@hsbt hsbt merged commit 6447b45 into ruby:master Jan 23, 2023
@nobu nobu deleted the fix-ragel-link branch July 18, 2023 07:36
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.

2 participants