Skip to content

Conversation

@RasmusWL
Copy link
Member

@RasmusWL RasmusWL commented Nov 4, 2020

As discussed in #4544 (review)

@RasmusWL RasmusWL requested a review from tausbn November 4, 2020 14:16
@RasmusWL RasmusWL requested a review from a team as a code owner November 4, 2020 14:16
@github-actions github-actions bot added the Python label Nov 4, 2020
@yoff yoff merged commit 79fcf59 into github:main Nov 4, 2020
@RasmusWL RasmusWL deleted the patch-1 branch November 4, 2020 16:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants