Skip to content

Conversation

mfeurer
Copy link
Contributor

@mfeurer mfeurer commented May 5, 2021

No description provided.

@mfeurer mfeurer requested a review from franchuterivera May 5, 2021 10:54
@franchuterivera
Copy link
Contributor

Do we want to also add duplicate label?

Else, everything looks good!

@mfeurer
Copy link
Contributor Author

mfeurer commented May 5, 2021

Do we want to also add duplicate label?

Let's do that later once this works.

@mfeurer mfeurer merged commit bbdde94 into master May 5, 2021
@mfeurer mfeurer deleted the mfeurer-patch-1 branch May 5, 2021 10:59
github-actions bot pushed a commit that referenced this pull request May 5, 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.

2 participants