Subject: Re: [OMPI devel] [Pkg-openmpi-maintainers] Bug#512616: [openmpi] missing symbols? From: Manuel Prinz (debian_at_[hidden]) Date: 2009-01-22 18:07:21
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
![[Flag]](../../../../../community/mirrors/flag-us.gif){kind=small}