DerThorsten/opengm — pull request #8 by joergkappes (2013-08-18 07:19:19+00:00)
Title: update to opengm:opengm

update to latest version before pushing back