# properties will be filled by git-commit-id-plugin during maven build
bbda42707f866a85c80168c34e9b3eeebc108365
2020-04-01T17:43:28+0000
Allow weighting and edge_based parameters for now (remove after #1980)
bbda42707f866a85c80168c34e9b3eeebc108365
true