From 9d02eab8bcf57495c8c7675021c69fc2e3edd508 Mon Sep 17 00:00:00 2001 From: Julien Olivain Date: Tue, 7 Feb 2023 23:09:37 +0100 Subject: [PATCH] DEVELOPERS: add Julien Olivain for package/openmpi The package has been orphan since commit ee58353 (2018-12-22). Signed-off-by: Julien Olivain Signed-off-by: Thomas Petazzoni --- DEVELOPERS | 1 + 1 file changed, 1 insertion(+) diff --git a/DEVELOPERS b/DEVELOPERS index 2eff5b23ef..6256576e02 100644 --- a/DEVELOPERS +++ b/DEVELOPERS @@ -1691,6 +1691,7 @@ F: package/highway/ F: package/libjxl/ F: package/octave/ F: package/ola/ +F: package/openmpi/ F: package/perftest/ F: package/ptm2human/ F: package/python-distro/