Hi, Paul, Do you have any comments about this patch [1]? More specifically, do you see any problems that these changes could cause for the synchronization with gnulib? [1] https://sourceware.org/ml/libc-alpha/2018-12/msg00581.html