opengm/opengm — pull request #220 by DerThorsten (2014-02-21 12:20:45+00:00)
Title: last minute bug fix!

last minute bug fix!