Closed manjugv closed 4 years ago
Ping @naveen-rn What is your preference as section chair for this issue ?
I'm fine with this going into the section edit. close this PR and open one against naveen-rn/openshmem-1.5 branch in https://github.com/naveen-rn/specification/tree/naveen-rn/openshmem-1.5
@manjugv Thanks for the fix.
@naveen-rn Moved the branch as you have requested.
Can we handle this as a section change, or would it be best to merge to openshmem-org:master?