Skip to content

[v13] Installer Scripts: use bash instead of sh#34143

Merged
marcoandredinis merged 2 commits into
branch/v13from
bot/backport-34039-branch/v13
Nov 2, 2023
Merged

[v13] Installer Scripts: use bash instead of sh#34143
marcoandredinis merged 2 commits into
branch/v13from
bot/backport-34039-branch/v13

Commits

Commits on Nov 2, 2023