Skip to content

Fix darcs installation failure on latest Ubuntu image#879

Merged
smorimoto merged 1 commit intomasterfrom
fix-darcs
Oct 15, 2024

Commits

Commits on Oct 15, 2024