Re: [OMPI devel] [Pkg-openmpi-maintainers] Bug#512616: [openmpi] missing symbols?

[Manuel Prinz]

Sorry for that, the message was supposed to be a private message to
Dirk. I did not notice (or expect) you override Reply-To.

Best regards
Manuel

signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil