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.

Sign up for GitHub

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

Jump to bottom

Remove duplicate link. Tweak comment #1862

Merged
merged 1 commit into from
May 22, 2023
Merged

Remove duplicate link. Tweak comment #1862

merged 1 commit into from
May 22, 2023

Conversation

d7415
Copy link
Contributor

@d7415 d7415 commented May 22, 2023

Tidying from #1861.

@d7415 d7415 requested a review from a team May 22, 2023 08:25
@d7415 d7415 added the Review: easy Easy review expected: probably just need a quick to go through. label May 22, 2023
@codecov
Copy link

codecov bot commented May 22, 2023 •
edited
Loading

Codecov Report

Merging #1862 (bf28628) into master (88aacd7) will increase coverage by 0.07%.
The diff coverage is n/a.

Additional details and impacted files

@ildyria ildyria merged commit a3423b6 into master May 22, 2023
@ildyria ildyria deleted the tidy branch May 22, 2023 08:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ildyria ildyria ildyria approved these changes

Assignees
No one assigned
Labels
Review: easy Easy review expected: probably just need a quick to go through.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@d7415 @ildyria