Skip to content

Write a warning message if a broken link is found.#36

Merged
tusmester merged 1 commit intodevelopfrom
fix/1897-brokenref-warning
Apr 18, 2023
Merged

Write a warning message if a broken link is found.#36
tusmester merged 1 commit intodevelopfrom
fix/1897-brokenref-warning

Conversation

@kavics
Copy link
Contributor

@kavics kavics commented Apr 14, 2023

No description provided.

@kavics kavics requested a review from tusmester April 14, 2023 06:01
@tusmester tusmester merged commit 18b860b into develop Apr 18, 2023
@tusmester tusmester deleted the fix/1897-brokenref-warning branch April 18, 2023 06:35
@kavics kavics restored the fix/1897-brokenref-warning branch June 12, 2023 08:06
@tusmester tusmester deleted the fix/1897-brokenref-warning branch September 1, 2023 06:50
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