Merge tag 'v2.13.3' into debian-sid
commitc70fcb000355f38b7e42ab10b559cde0a14e3803
authorJonathan Nieder <jrnieder@gmail.com>
Mon, 17 Jul 2017 19:15:20 +0000 (17 12:15 -0700)
committerJonathan Nieder <jrnieder@gmail.com>
Mon, 17 Jul 2017 19:15:20 +0000 (17 12:15 -0700)
treedfa8187d23e3ba67a3f0275fd09bd96cd503e0dc
parent20b95700ad3801f0874cdd124e6b058de948d3ce
parent08f9c32463bf9e578acb7ac5f77afd36e803c6bc
Merge tag 'v2.13.3' into debian-sid

Git 2.13.3