Skip to content

fix: declare Makefile goal as .PHONY (as it ought to be)#1127

Merged
jenstroeger merged 1 commit into
mainfrom
fix-makefile-5
May 25, 2026
Merged

fix: declare Makefile goal as .PHONY (as it ought to be)#1127
jenstroeger merged 1 commit into
mainfrom
fix-makefile-5

Commits

Commits on Apr 10, 2026