Skip to content

pinocchio: 3.8.0 -> 3.9.0#478718

Merged
wegank merged 1 commit intoNixOS:masterfrom
nim65s:pin390
Feb 10, 2026
Merged

pinocchio: 3.8.0 -> 3.9.0#478718
wegank merged 1 commit intoNixOS:masterfrom
nim65s:pin390

Commits

Commits on Feb 9, 2026