Skip to content

Fix distcheck configure args - #1883

Merged
peternewman merged 1 commit into
0.10from
peternewman-0.10-fix-distcheck-configure
Aug 9, 2023
Merged

Fix distcheck configure args#1883
peternewman merged 1 commit into
0.10from
peternewman-0.10-fix-distcheck-configure

Fix distcheck configure args

7e79607
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs