ops: add support for user-defined big count ops#13030

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

hppritcha:add_support_for_user_defined_bigopshppritcha/ompi:add_support_for_user_defined_bigopsCopy head branch name to clipboard