Skip to content

Makefile: use .git/HEAD as a cache buster, fix package target name#2448

Merged
mattmoor merged 1 commit intomainfrom
makefile-pass-2
May 31, 2023
Merged

Makefile: use .git/HEAD as a cache buster, fix package target name#2448
mattmoor merged 1 commit intomainfrom
makefile-pass-2

Commits

Commits on May 31, 2023