ethz-asl/opengv — pull request #8 by helenol (2014-12-17 09:37:11+00:00)
Title: Merge in changes from upstream.

Not sure what the best way to do this would have been - there's merge conflicts so it needs to be in a branch, but the upstream commits got squashed with this...

At any rate, tested, built, our tests pass.