Add a link to the gcc discussion about patcher.#13083

devreal merged 1 commit intoopen-mpi:mainopen-mpi/ompi:mainfrom

bosilca:topic/extend_13027bosilca/ompi:topic/extend_13027Copy head branch name to clipboard