Open MPI logo

Open MPI Development Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Development mailing list

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