> I'd like to ping this patch. > > Last version of the patch together with Changelog entry can be found in > mailing list archive: > > https://gcc.gnu.org/ml/gcc-patches/2016-08/msg01229.html
This patch isn't OK, we don't want to add such special case in s-os_lib.adb Arno