Skip to content

Fix distcheck configure args#1883

Merged
peternewman merged 1 commit into0.10from
peternewman-0.10-fix-distcheck-configure
Aug 9, 2023
Merged

Fix distcheck configure args#1883
peternewman merged 1 commit into0.10from
peternewman-0.10-fix-distcheck-configure

Commits

Commits on Jul 18, 2023