DerThorsten/opengm — pull request #2 by DerThorsten (2013-06-10 11:40:59+00:00)
Title: synch with master

synch with master