Merge tag 'v2.20.0' into debian-sid
commit37fd219508f7867aa684199f617ec2043f74d241
authorJonathan Nieder <jrnieder@gmail.com>
Mon, 10 Dec 2018 19:05:39 +0000 (10 11:05 -0800)
committerJonathan Nieder <jrnieder@gmail.com>
Mon, 10 Dec 2018 19:05:39 +0000 (10 11:05 -0800)
tree0f53e1aec947ef459350ee8b0ab9fee211d4ffc6
parent920cc184613d30840ed3d28c53acec05bffe00b8
parent5d826e972970a784bd7a7bdf587512510097b8c7
Merge tag 'v2.20.0' into debian-sid

Git 2.20