Mon, 22 Jan 2018 14:10:59 +0530 | Pulkit Goyal | amend: query the wdir parent after taking lock (issue5266) | file | diff | annotate |
Mon, 22 Jan 2018 13:44:32 +0530 | Pulkit Goyal | fold: make sure we move bookmarks after folding (issue5772) | file | diff | annotate |
Sat, 20 Jan 2018 12:28:32 +0100 | Pierre-Yves David | packaging: prepare version 7.2.1 | file | diff | annotate |