Konicai 632f84fcf8 Merge pull request #2095 ... * Add floodgate git properties to dump * Merge remote-tracking branch 'upstream/floodgate-2.0' into floodgate-2.0 * Modify the dump to not break anything * name changes to floodgate info in dump * small adjustment to DumpInfo.java * Merge remote-tracking branch 'upstream/floodgate-2.0' into floodgate-2.0 * remove duplicate import statements * Update mappings		2021-06-06 16:59:47 +02:00
..
common	Merge remote-tracking branch 'origin/master' into floodgate-2.0	2021-01-04 13:37:58 +01:00
floodgate	Merge pull request #2095	2021-06-06 16:59:47 +02:00