On Sun, Jan 31, 2021 at 01:33:21PM +0000, José Abílio Matos wrote: > On Sunday, January 31, 2021 12:12:41 PM WET Enrico Forestieri wrote: > > Does the attached patch work for you? > > Yes. Without the patch "make check" fails, with the patch it works. Committed. > Thank you. :-) Thanks for checking. -- Enrico