Skip to content

Conversation

@haerdib
Copy link
Contributor

@haerdib haerdib commented Nov 9, 2021

@haerdib haerdib requested a review from clangenb November 9, 2021 07:38
Copy link
Contributor

@clangenb clangenb left a comment

Choose a reason for hiding this comment

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

That was fast, nice! 👍

@haerdib haerdib requested a review from murerfel November 9, 2021 07:41
Copy link

@murerfel murerfel left a comment

Choose a reason for hiding this comment

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

LGTM 😃 now my language OCD is satisfied 😛

@haerdib haerdib merged commit 632a090 into master Nov 9, 2021
@haerdib haerdib deleted the rename_to_block branch November 9, 2021 07:51
echevrier pushed a commit that referenced this pull request Nov 29, 2021
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.

4 participants