Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Stop rendering dead links #583

Merged
merged 1 commit into from
Feb 26, 2021

Conversation

lubegasimon
Copy link
Collaborator

@lubegasimon lubegasimon commented Feb 8, 2021

fixes #560

@lubegasimon lubegasimon marked this pull request as draft February 8, 2021 07:09
@lubegasimon lubegasimon force-pushed the stop-rendering-dead-links branch 2 times, most recently from b6a0c25 to a78cc2b Compare February 8, 2021 14:46
@jonludlam jonludlam force-pushed the stop-rendering-dead-links branch from a78cc2b to 440ef6c Compare February 8, 2021 17:31
@lubegasimon lubegasimon force-pushed the stop-rendering-dead-links branch 2 times, most recently from f1d3a20 to b68ee4f Compare February 14, 2021 11:55
@lubegasimon lubegasimon marked this pull request as ready for review February 14, 2021 11:57
@lubegasimon lubegasimon force-pushed the stop-rendering-dead-links branch 3 times, most recently from 5a24adb to 8d3a7d4 Compare February 19, 2021 11:01
@lubegasimon lubegasimon force-pushed the stop-rendering-dead-links branch 2 times, most recently from 20e6dd9 to c208026 Compare February 19, 2021 13:11
@lubegasimon lubegasimon force-pushed the stop-rendering-dead-links branch from c208026 to be03e72 Compare February 20, 2021 20:30
@jonludlam
Copy link
Member

This'll need a quick rebase now the previous PR has been merged.

@lubegasimon lubegasimon force-pushed the stop-rendering-dead-links branch from be03e72 to 203c285 Compare February 22, 2021 18:16
@lubegasimon
Copy link
Collaborator Author

This'll need a quick rebase now the previous PR has been merged.

Done

Copy link
Member

@jonludlam jonludlam left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good so far, just a couple of changes needed.

Signed-off-by: lubegasimon <lubegasimon73@gmail.com>
@lubegasimon lubegasimon force-pushed the stop-rendering-dead-links branch 2 times, most recently from 0432cd3 to 8c6e322 Compare February 26, 2021 17:23
@jonludlam jonludlam merged commit 60feb03 into ocaml:master Feb 26, 2021
@lubegasimon lubegasimon deleted the stop-rendering-dead-links branch August 13, 2021 14:20
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Dead links to hidden items appearing in documentation
3 participants