Hey, Everyone No critical agenda items for tomorrow so we'll cancel the call.
Again, Coverity is up and running, please continue reviewing it. Thanks, Tommy To unsubscribe from this group and stop receiving emails from it, send an email to devel+unsubscr...@lists.open-mpi.org.
