Merge tag 'v1.8.5.1' into debian-sid
commitcebfdb5590193869b20c1c475af23bb0dd54ab3d
authorJonathan Nieder <jrnieder@gmail.com>
Tue, 3 Dec 2013 22:10:41 +0000 (3 14:10 -0800)
committerJonathan Nieder <jrnieder@gmail.com>
Tue, 3 Dec 2013 22:10:41 +0000 (3 14:10 -0800)
tree857309f1c1966c71f35acdb562a9fe591e4a5805
parent849703db0dc21180ccabc5152fb9b23f9e76ac46
parenta155a5f075cdc09e584a58d68bdce0c80e6c4b5a
Merge tag 'v1.8.5.1' into debian-sid

Git 1.8.5.1