Dear OPM community, Due to an error that was made in the tagging process, the tags ended up pointing to the wrong commits, and we had to redo it. To avoid git conflicts we have not removed the rc2 tags that were wrong, but instead pushed new tags:
release/2013.10/rc3 Apologies for any inconvenience caused by this. Atgeirr _______________________________________________ Opm mailing list [email protected] http://www.opm-project.org/mailman/listinfo/opm
