Dave Love <fx@gnu.org> skribis:

> From 44b58081283c93e49d00900cc3e29dfd1af0e97a Mon Sep 17 00:00:00 2001
> From: Dave Love <fx@gnu.org>
> Date: Tue, 3 Oct 2017 19:14:50 +0100
> Subject: [PATCH] gnu: Add imb-openmpi.
>
> * gnu/packages/benchmark.scm(imb): New function.
> (imb-openmpi): New variable.

Committed with the cosmetic changes below, thank you!

Ludo’.