port #55

Merged

marti merged 1 commit from feature/port into main 2026-10-22 15:10:03 +02:00

Conversation 0 Commits 1 Files changed 1 +1

marti commented 2026-10-22 15:09:54 +02:00

Owner

• Copy link

No description provided.

marti added 1 commit 2026-10-22 15:09:55 +02:00

port 904ad64845

marti merged commit 7daacf0334 into main 2026-10-22 15:10:03 +02:00

marti referenced this pull request from a commit 2026-10-22 15:10:04 +02:00

Merge pull request 'port' (#55) from feature/port into main

marti deleted branch feature/port 2026-10-22 15:10:06 +02:00

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

marti/nix!55

No description provided.