Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit fe760c0023 - Show all commits

View File

@@ -150,7 +150,7 @@ do_fetch() {
do_run() {
$trebuchet
>&2 $trebuchet
}
waitResults=1