Merge pull request #1820 from thesamesam/bashisms
configure.ac: Fix bashisms
Description
Description
Details
Details
- Provenance
oalbrigt Authored on Nov 18 2022, 2:55 AM GitHub <noreply@github.com> Committed on Nov 18 2022, 2:55 AM - Parents
- rR12e10f991d64: configure.ac: Fix bashisms
rR2113da35b054: Merge pull request #1819 from XingWei-Liu/main - Branches
- Unknown
- Tags
Merged Changes
Merged Changes