Skip to content

Fix caret upper bound indication#273

Merged
micprog merged 1 commit intomasterfrom
fix_caret_upper
Feb 17, 2026
Merged

Fix caret upper bound indication#273
micprog merged 1 commit intomasterfrom
fix_caret_upper

Conversation

@micprog
Copy link
Member

@micprog micprog commented Feb 17, 2026

No description provided.

@micprog micprog requested a review from fischeti February 17, 2026 14:10
Copy link
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.

Makes sense to me

@micprog micprog merged commit 85cf694 into master Feb 17, 2026
11 checks passed
@micprog micprog deleted the fix_caret_upper branch February 17, 2026 16:07
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

Comments