Message ID | 20230207220941.58066-1-ju.o@free.fr |
---|---|
State | Accepted |
Headers | show |
Series | [1/5] DEVELOPERS: add Julien Olivain for package/openmpi | expand |
On Tue, 7 Feb 2023 23:09:37 +0100 Julien Olivain <ju.o@free.fr> wrote: > The package has been orphan since commit ee58353 (2018-12-22). > > Signed-off-by: Julien Olivain <ju.o@free.fr> > --- > DEVELOPERS | 1 + > 1 file changed, 1 insertion(+) Applied to master, thanks. Thomas
diff --git a/DEVELOPERS b/DEVELOPERS index d7c4d03c4c..156c5dac13 100644 --- a/DEVELOPERS +++ b/DEVELOPERS @@ -1689,6 +1689,7 @@ F: package/gnupg2/ F: package/glslsandbox-player/ F: package/octave/ F: package/ola/ +F: package/openmpi/ F: package/perftest/ F: package/ptm2human/ F: package/python-distro/
The package has been orphan since commit ee58353 (2018-12-22). Signed-off-by: Julien Olivain <ju.o@free.fr> --- DEVELOPERS | 1 + 1 file changed, 1 insertion(+)