2017-06-05 | Merge branch 'mb/diff-default-to-indent-heuristics' | blob | diff | raw | |
2017-06-05 | Merge branch 'jh/close-index-before-stat' | blob | diff | raw | |
2017-06-04 | Sync with maint | blob | diff | raw | |
2017-06-04 | Prepare for 2.13.1; more topics to follow | blob | diff | raw | |