2019-10-07 | Merge branch 'ah/doc-submodule-ignore-submodules' | blob | commitdiff | raw | |
2019-10-07 | Merge branch 'rs/nth-switch-code-simplification' | blob | commitdiff | raw | |
2019-10-07 | Merge branch 'hb/hg-to-git-py3' | blob | commitdiff | raw | |
2019-10-07 | Merge branch 'sg/progress-fix' | blob | commitdiff | raw | |
2019-09-17 | Test the progress display | blob | commitdiff | raw | |