Skip to content

Conversation

@JoeKar
Copy link
Collaborator

@JoeKar JoeKar commented Jan 1, 2026

Since benweissmann/getmic.ro#40 was merged there is no need to create this superfluous archive any longer.

Since benweissmann/getmic.ro#40 was merged there is no
need to create this superfluous archive any longer.
@JoeKar JoeKar merged commit ee09a03 into zyedidia:master Jan 10, 2026
6 checks passed
@JoeKar JoeKar deleted the feature/drop-linux-static branch January 10, 2026 19:14
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