Hi,I have a few small pull request on the develop branch that have been pending for a few days and was wondering what was the usual process/delay one can expect. Is the pull request automatically notified to potential mergers ? Should I file a ticket on the tracker ?
Thanks! Alain _______________________________________________ Boost-mpi mailing list [email protected] http://lists.boost.org/mailman/listinfo.cgi/boost-mpi
