Subject: Re: [boost] Enabling issues on boostorg/mpi
From: Peter Dimov (lists_at_[hidden])
Date: 2018-05-21 14:12:53
Alain Miniussi wrote:
> Could somebody with the sufficient permissions enable issues on the github
> mpi repository ?
Done.