Joel Brobecker <brobecker@adacore.com> writes: > I'm just waiting for you to confirm that the patch fixes the FAIL, and > I will commit the whole patch. OK, confirmed. The patch fixes the FAIL on s390x. > (I have been very busy these days) I can imagine. Thanks for your help!