Skip to content

Run make dev after PR 1984#1985

Merged
johnkerl merged 1 commit intomainfrom
johnkerl/barred-unicode-make-dev
Feb 22, 2026
Merged

Run make dev after PR 1984#1985
johnkerl merged 1 commit intomainfrom
johnkerl/barred-unicode-make-dev

Conversation

@johnkerl
Copy link
Copy Markdown
Owner

Follow-on to #1984

@johnkerl johnkerl changed the title Run make dev ater PR 1984 Run make dev after PR 1984 Feb 22, 2026
@johnkerl johnkerl merged commit cd39c4e into main Feb 22, 2026
7 checks passed
@johnkerl johnkerl deleted the johnkerl/barred-unicode-make-dev branch February 22, 2026 04:24
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.

1 participant