Skip to content

project out local-id-mapped inames before domain comparison for barriers; solves #94 on gitlab

@inducer I think this is what you were referring to in the issue thread. It looks pretty lightweight (if a big hackish). I'll use it for the moment, let me know if we think of a better solution

Merge request reports