Skip to content

[v12] Installer Scripts: use bash instead of sh (#34039)#34150

Merged
marcoandredinis merged 1 commit into
branch/v12from
marco/v12/backport_34039
Nov 8, 2023
Merged

[v12] Installer Scripts: use bash instead of sh (#34039)#34150
marcoandredinis merged 1 commit into
branch/v12from
marco/v12/backport_34039

Commits

Commits on Nov 2, 2023