Skip to content

Bump slang to v11#305

Merged
micprog merged 1 commit into
masterfrom
bump_slang
Jun 1, 2026
Merged

Bump slang to v11#305
micprog merged 1 commit into
masterfrom
bump_slang

Conversation

@micprog
Copy link
Copy Markdown
Member

@micprog micprog commented May 18, 2026

No description provided.

@micprog micprog requested a review from fischeti May 18, 2026 11:58
Copy link
Copy Markdown
Contributor

@fischeti fischeti left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@micprog micprog merged commit 532922d into master Jun 1, 2026
18 checks passed
@micprog micprog deleted the bump_slang branch June 1, 2026 11:41
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