OSDN Git Service

Merge pull request #5760 from dermoth/master
authorDmitriy Zaporozhets <dmitriy.zaporozhets@gmail.com>
Tue, 7 Jan 2014 10:47:56 +0000 (02:47 -0800)
committerDmitriy Zaporozhets <dmitriy.zaporozhets@gmail.com>
Tue, 7 Jan 2014 10:47:56 +0000 (02:47 -0800)
Fix HTTP push to public repos


Trivial merge