Merge pull request #1230 from VaclavSynacek/bash-detection

better bash detection
This commit is contained in:
Mario Zechner
2026-02-04 13:54:07 +01:00
committed by GitHub

Diff Content Not Available