Skip to content

7RKGK: Replaced informal with sorryful#922

Merged
jstoobysmith merged 1 commit intolean-phys-community:masterfrom
kastch:feat/7RKGK
Jan 25, 2026
Merged

7RKGK: Replaced informal with sorryful#922
jstoobysmith merged 1 commit intolean-phys-community:masterfrom
kastch:feat/7RKGK

Conversation

@kastch
Copy link
Contributor

@kastch kastch commented Jan 23, 2026

No description provided.

@kastch kastch requested a review from a team as a code owner January 23, 2026 19:57
Copy link
Member

@jstoobysmith jstoobysmith left a comment

Choose a reason for hiding this comment

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

Great! Looks good to me. Many thanks, will merge shortly.

@jstoobysmith jstoobysmith merged commit 7ba876c into lean-phys-community:master Jan 25, 2026
3 checks passed
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