Skip to content

defect: Fix 'all' make target#10

Merged
mprimeaux merged 1 commit intomainfrom
defect/makefile
Jan 16, 2026
Merged

defect: Fix 'all' make target#10
mprimeaux merged 1 commit intomainfrom
defect/makefile

Conversation

@mprimeaux
Copy link
Contributor

No description provided.

@mprimeaux mprimeaux self-assigned this Jan 16, 2026
@mprimeaux mprimeaux added kind: defect Something isn't working priority: low labels Jan 16, 2026
@mprimeaux mprimeaux merged commit d9239c2 into main Jan 16, 2026
1 check passed
@mprimeaux mprimeaux deleted the defect/makefile branch January 16, 2026 20:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind: defect Something isn't working priority: low

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant