From: <bal...@un...> - 2018-06-29 12:31:58
|
> Sorry for delay. I finally spotted the bad commit > (98578071b9d71ecaa2344dd9c185237c1765041e). > Gonna figure out what exactly is happening. Thanks again for report! if this can be of interest: in 2.14rc14 the problem I reported seems to be fixed (the test script I sent completes successfully). (note that 2.14rc{5,7,10,11} all fail) ciao -g |