2020-08-19 | Merge branch 'en/merge-tests' | blob | commitdiff | raw | |
2020-08-18 | Merge branch 'so/log-diff-merges-opt' | blob | commitdiff | raw | |
2020-08-18 | Merge branch 'jk/log-fp-implies-m' | blob | commitdiff | raw | |
2020-07-29 | revision: add "--no-diff-merges" option to counteract... | blob | commitdiff | raw | diff to current | |