Merge tag 'v2.19.1' into debian-sid
commit0ae8d5d8db0bb80e5537c2d9e887149fe9ef86f0
authorJonathan Nieder <jrnieder@gmail.com>
Fri, 5 Oct 2018 17:07:58 +0000 (5 10:07 -0700)
committerJonathan Nieder <jrnieder@gmail.com>
Fri, 5 Oct 2018 17:07:58 +0000 (5 10:07 -0700)
treefa0a5d97e9a90d088894b8931718919bebd4097f
parent2405a87a994dc962be979cf01e48a3c5b82a65a3
parentcae598d9980661a978e2df4fb338518f7bf09572
Merge tag 'v2.19.1' into debian-sid

Git 2.19.1