Build #67 (Oct 31, 2018, 12:34:59 PM)

	Changes fix: global menu (commit: a6f053a) (details / githubweb)
	Started by GitHub push by severinsimmler
	Revision: a6f053ae18f14653d6785867a5ce11cb44cb7de8 Repository: git://github.com/DARIAH-DE/TopicsExplorer origin/v2.0
	Test Result (no failures)
	Cobertura Coverage Report Packages: 0% Files: 0% Classes: 0% Lines: 0% Conditionals: 100%