Merge branch 'dev' into rc

2026-05-03 11:57:19 +02:00
parent 4a7ade9c52 791b0ce9f3
commit dc249dba95
9 changed files with 33 additions and 31 deletions
@@ -43,6 +43,7 @@ ensure_bin_runtime() {

 exec_package_bin() {
  local package_bin_path=\$1
+  shift

  if [[ -n \$package_bin_path ]]; then
    ensure_bin_runtime "\$package_bin_path"