Hi Akim, > The last commit fixes an error caught by the > "strengthen tests" commit. I can easily commute them if we want to > avoid "make check" failures in the history.
Yes, please. Some people use 'git bisect'; therefore it's useful if there are no easily-avoidable "make check" failures in the history. (As humans, we know that often, mistakes becomes evident by writing or strengthening a unit test. There's no need for a formal proof of it :-).) Bruno
