Skip to content

Conversation

@SethTisue
Copy link
Member

fixes #259

wdyt @ckipp01 @eed3si9n @zainab-ali ? if y'all approve, I can run it by @darjutak

@SethTisue
Copy link
Member Author

I no longer recall how this fell by the wayside, but let's go ahead and merge it.

@SethTisue SethTisue marked this pull request as ready for review August 8, 2025 21:45
@SethTisue SethTisue merged commit a2438e0 into scala:main Aug 8, 2025
1 check passed
@SethTisue SethTisue deleted the community-reps branch August 8, 2025 21:45
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.

Make a page dedicated to the community reps

4 participants