Skip to content

Change zyedidia/micro to micro-editor/micro#3971

Merged
JoeKar merged 2 commits intomicro-editor:masterfrom
JoeKar:fix/repository-url
Jan 21, 2026
Merged

Change zyedidia/micro to micro-editor/micro#3971
JoeKar merged 2 commits intomicro-editor:masterfrom
JoeKar:fix/repository-url

Commits

Commits on Jan 21, 2026