added optional seeding to gmtool.build_island again#1032

stm2 wants to merge 29 commits into

eressea:developeressea/server:developfrom

stm2:reactivate_autoseedingstm2/server:reactivate_autoseedingCopy head branch name to clipboard