[OMPI devel] GitHub v4.0.2 tag is broken
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
[OMPI devel] GitHub v4.0.2 tag is broken
Ben, Oops, looks like I may have pushed a v4.0.2 branch around March 10th. Fortunately the v4.0.2 tag is fine and unaltered. I've deleted the v4.0.2 branch. Thanks for bringing this to our attention. Geoff Paulsen