Skip to content

Conversation

int88
Copy link
Contributor

@int88 int88 commented Apr 2, 2023

Issue Addressed

NA

Proposed Changes

remove duplicate log message.

Additional Info

NA

Copy link
Member

@michaelsproul michaelsproul left a comment

Choose a reason for hiding this comment

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

Nice catch thanks

@michaelsproul michaelsproul added the ready-for-merge This PR is ready to merge. label Apr 2, 2023
@paulhauner
Copy link
Member

bors r+

bors bot pushed a commit that referenced this pull request Apr 3, 2023
## Issue Addressed

NA

## Proposed Changes

remove duplicate log message.

## Additional Info

NA
@bors bors bot changed the title remove dup log [Merged by Bors] - remove dup log Apr 3, 2023
@bors bors bot closed this Apr 3, 2023
ghost pushed a commit to oone-world/lighthouse that referenced this pull request Jul 13, 2023
## Issue Addressed

NA

## Proposed Changes

remove duplicate log message.

## Additional Info

NA
Woodpile37 pushed a commit to Woodpile37/lighthouse that referenced this pull request Jan 6, 2024
## Issue Addressed

NA

## Proposed Changes

remove duplicate log message.

## Additional Info

NA
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-for-merge This PR is ready to merge.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants