Merge pull request #3120 from StevenPuttemans:fix_bug3863
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 18 Aug 2014 15:39:30 +0000 (15:39 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 18 Aug 2014 15:39:30 +0000 (15:39 +0000)
commit2ed24876af3294864c7a2f26561bb122c31c4613
tree015236d444519c7cfb225c908d1c068895f2dee4
parentb08a6ccd9dfde5dfb45d8a971d7c509df1d4d413
parentd558260a8e9aa25a391e521c454d15941f456942
Merge pull request #3120 from StevenPuttemans:fix_bug3863