Merge pull request #3333 from micha137:patch-1
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Wed, 15 Oct 2014 10:31:58 +0000 (10:31 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Wed, 15 Oct 2014 10:31:59 +0000 (10:31 +0000)
commit968fe91c8ed3cb193d343275b25d1903050b77c4
treee8706801758cef2f4ba948ca57d162e321dd69ab
parent18ef0cfe81f0624ff4f1a946f78d4fffca90fe4f
parent96cd0d82e5f1afdf9844dfe2d107ddf5580f283f
Merge pull request #3333 from micha137:patch-1