Closed georgievgeorgi closed 2 months ago
@vedina What should we do with this PR?
merge, but later , let me find time to look at it
@vedina Since you approved the changes, should I go ahead and merge it now? I already checked that there are no conflicts with nexusformat.
yes, pls merge
@vedina What should we do with this PR?