Thanks for testing, Chris! Merged to master and rel_2_12; thanks Mike!
I agree that the make check issue is due to something else.
Thanks for testing, Chris! Merged to master and rel_2_12; thanks Mike!
I agree that the make check issue is due to something else.