Merge pull request #6238 from tiborvass/merge_release_v0.12.0

Merge release v0.12.0
This commit is contained in:
Victor Vieux 2014-06-06 11:55:50 -07:00
commit df9d5752ec

Diff content is not available