Merge tag 'v2.25.1' into debian-sid
commitedda161f43b63e941da3d21f1aa79ff23ee84271
authorJonathan Nieder <jrnieder@gmail.com>
Tue, 18 Feb 2020 23:40:52 +0000 (18 15:40 -0800)
committerJonathan Nieder <jrnieder@gmail.com>
Tue, 18 Feb 2020 23:40:52 +0000 (18 15:40 -0800)
treee9eebc2276d9be76d7470013a7a885a09c0d5134
parent70030c2f8ed3eac732edfb6e41b619f36f74244a
parentc522f061d551c9bb8684a7c3859b2ece4499b56b
Merge tag 'v2.25.1' into debian-sid

Git 2.25.1

Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>