minor: Fix shell script as shellcheck suggests#2743

Merged

zuckschwerdt merged 1 commit intomerbanan:masterfrom mdeweerd:qual/shell-scripts

Nov 30, 2023

+2-2

Commits on Nov 29, 2023

Fix shell scritp as shellcheck suggests
MDW
committed