fix: address shellcheck warnings in create-adaptation-pr.sh#203
Open
jessealama wants to merge 1 commit intoleanprover:mainfrom
Open
fix: address shellcheck warnings in create-adaptation-pr.sh#203jessealama wants to merge 1 commit intoleanprover:mainfrom
jessealama wants to merge 1 commit intoleanprover:mainfrom
