Skip to content

First version of TLA+ Community Event schedule#4

Merged
lemmy merged 3 commits intomasterfrom
mku-2025etaps
Mar 25, 2025
Merged

First version of TLA+ Community Event schedule#4
lemmy merged 3 commits intomasterfrom
mku-2025etaps

Conversation

@lemmy
Copy link
Member

@lemmy lemmy commented Mar 11, 2025

@lemmy lemmy requested a review from muenchnerkindl March 11, 2025 02:58
Copy link
Contributor

@muenchnerkindl muenchnerkindl left a comment

Choose a reason for hiding this comment

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

Looks good to me, thanks!

Copy link

@konnov konnov left a comment

Choose a reason for hiding this comment

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

LGTM

Signed-off-by: Markus Alexander Kuppe <[email protected]>
lemmy added 2 commits March 20, 2025 12:43
Signed-off-by: Markus Alexander Kuppe <[email protected]>
Signed-off-by: Markus Alexander Kuppe <[email protected]>
@lemmy lemmy merged commit ee8efe2 into master Mar 25, 2025
1 check passed
@lemmy lemmy deleted the mku-2025etaps branch March 25, 2025 18:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

Comments