# HG changeset patch # User Markus Mützel # Date 1657868347 -7200 # Node ID b726aff748e3810a29c71dc72d01898ebe23cace # Parent f125ddb4605550e2d3881d4b211ecc4110d7502e# Parent 674e7bf1d630ed31fa2ffd7377edaf9645b84ed1 maint: Merge stable to default. diff -r f125ddb46055 -r b726aff748e3 scripts/pkg/private/install.m --- a/scripts/pkg/private/install.m Wed Jul 13 13:20:48 2022 +0200 +++ b/scripts/pkg/private/install.m Fri Jul 15 08:59:07 2022 +0200 @@ -458,7 +458,7 @@ if (verbose) printf ("copyfile"); printf (" %s", archindependent{:}); - printf ("%s\n", instdir); + printf (" %s\n", instdir); endif [status, output] = copyfile (archindependent, instdir); if (status != 1)