Skip to content

Conversation

@joelostblom
Copy link
Contributor

Description

Same change as in the other repos a while ago.

Needs a quick/an in-depth review.

Checklist

  • Ran just run-all

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Todo

Development

Successfully merging this pull request may close these issues.

2 participants