Phil Carns

@mdorier were you running argobots@main or the last release? Just wondering if it included these fixes https://github.com/pmodels/argobots/pull/325 ?

I think that 1.12 is still fairly common in the wild. It would be safer to either fix it or have it fail at configure time if it's really not...