Skip to content

Conversation

SethTisue
Copy link
Member

@SethTisue SethTisue commented Jan 26, 2023

as per discussion on #636

@dubinsky I've you sent you an invite for “maintainer”-level access

@SethTisue
Copy link
Member Author

fyi @julienrf

@dubinsky dubinsky merged commit 91f9f0d into scala:main Jan 30, 2023
@SethTisue SethTisue deleted the add-leonid branch January 30, 2023 14:35
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