Skip to content

Conversation

vrdmr
Copy link
Member

@vrdmr vrdmr commented Jun 6, 2022

No description provided.

@vrdmr vrdmr requested a review from davidmrdavid June 6, 2022 19:11
Copy link
Collaborator

@davidmrdavid davidmrdavid left a comment

Choose a reason for hiding this comment

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

LGTM. Thank you for this PR, please squash-and-merge

@vrdmr vrdmr merged commit 38ba9bd into dev Jun 7, 2022
@vrdmr vrdmr deleted the vrdmr-patch-2 branch June 7, 2022 04:38
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