Skip to content

users => people#242

Merged
cwilso merged 1 commit intomainfrom
people
Feb 26, 2025
Merged

users => people#242
cwilso merged 1 commit intomainfrom
people

Conversation

@cwilso
Copy link
Copy Markdown
Collaborator

@cwilso cwilso commented Feb 25, 2025

One more tweak addressing #211 .

@tantek tantek requested a review from mgendler February 25, 2025 23:27
@cwilso
Copy link
Copy Markdown
Collaborator Author

cwilso commented Feb 26, 2025

(approved by Max offline)

@cwilso cwilso merged commit 5fc1f1b into main Feb 26, 2025
4 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