[OMPI devel] GitHub v4.0.2 tag is broken

[Ben Menadue via devel]

Hi,

The v4.0.2 tag in GitHub is broken at the moment -- trying to go to it
just takes you to the v4.0.2 _branch_, which looks to be a separate,
much more recent fork from master:

        https://github.com/open-mpi/ompi/tree/v4.0.2

Cheers,
Ben