Brian,
We will address.
пт, 7 июля 2017 г. в 14:25, Barrett, Brian via devel <
devel@lists.open-mpi.org>:
> Hi all -
>
> Earlier this week, we discovered that a couple of pull requests had been
> posted against the deprecated v3.x branch (instead of the active v3.0.x
> branch). Worse, Github
Hi all -
Earlier this week, we discovered that a couple of pull requests had been posted
against the deprecated v3.x branch (instead of the active v3.0.x branch).
Worse, Github allowed me to merge those requests, despite Github reporting that
nobody had permissions to write to the branch