[boost] Enabling issues on boostorg/mpi

21 May 2018

      Hi,

Could somebody with the sufficient permissions enable issues on the 
github mpi repository ?

Thanks

Alain Miniussi