profiles: unmask boost[mpi]
authorChristoph Junghans <junghans@gentoo.org>
Tue, 14 Mar 2017 22:43:27 +0000 (16:43 -0600)
committerChristoph Junghans <junghans@gentoo.org>
Thu, 16 Mar 2017 14:31:16 +0000 (08:31 -0600)
commit10fbc14cc44df695828a74b56ecf8a8781f9737a
treed3da59fbd2b5e521769dd5ea14e0c3d5179f0d1f
parent74f4c9f518d27da2292806a2cd4e39ba361fdeb7
profiles: unmask boost[mpi]

closes #4205 (gh)
profiles/base/package.use.stable.mask