Merge tag 'v2.13.2' into debian-sid
commitd3097b1774b6c54f4f7195186c877e0da6abec4e
authorJonathan Nieder <jrnieder@gmail.com>
Mon, 26 Jun 2017 17:53:05 +0000 (26 10:53 -0700)
committerJonathan Nieder <jrnieder@gmail.com>
Mon, 26 Jun 2017 17:53:05 +0000 (26 10:53 -0700)
tree13aca5f86e11ee6b0eed24105d59f4fc67d7e15f
parent7887d236e5fae2a622751739eeb0411868495d20
parent8c8e978f5719c6a58fb998742207bf907f963143
Merge tag 'v2.13.2' into debian-sid

Git 2.13.2