On Friday, 12 January 2018 at 05:18:15 UTC, rumbu wrote: >> On Thursday, 11 January 2018 at 23:57:29 UTC, kdevel wrote: >> What about the failed comparison: >>> > .... > > You are right in fact, there is also a failed comparison. Now > corrected. Works. Thanks for the changes!