My last, greatest, and most stable colony before release has a set of three mines, all staffed with a work crew proficient in the finest technology in the Empire. I looked in on the mining module, and I found that multiple workers can enter the same mine. But looking at the Capacities tooltip (real helpful, by the way!) I note that I have space for several dozen miners. Can we assign more mining teams to the same building? Or is this mysterious x/75 miner space some sort of error?
Thanks for bringing this to our attention! There was an error in the calculation here for both miners and naturalists and it is now fixed in our dev build.
