Subject: Re: [bug#45367] [PATCH] gnu: intel-mpi-benchmarks: Update to 2019.6.
From: Ludovic Courtès <[email-masked]>
To: Greg Hogan <[email-masked]>
Cc: [email-masked]
Date: Tue, 22 Dec 2020 15:11:46 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Greg Hogan <[email-masked]> skribis:

>>From da0d408ecd1f57283990bb8747dffa4447f4c8f2 Mon Sep 17 00:00:00 2001
> From: Greg Hogan <[email-masked]>
> Date: Sun, 20 Dec 2020 13:19:04 +0000
> Subject: [PATCH] gnu: intel-mpi-benchmarks: Update to 2019.6.
>
> * gnu/packages/benchmarks.scm (intel-mpi-benchmarks): Update to 2019.6.
> [origin]: Add fix for file permissions.

Applied after tweaking the indentation of the long line.  Thanks!

(The patch had been mangled on its way but I was able to “repair” it.)

Thanks,
Ludo’.