@joergkappes
joergkappes Merge branch 'master' of https://github.com/opengm/opengm
e91870b Nov 4, 2015
Merge branch 'master' of https://github.com/opengm/opengm
e91870b