Doesn't seem to have been fixed. Got a dome with 3 leaks. Got 7 idle drones near it and about 30 polymer available. I have hit the repair button 3 times now (updated before reloading) and it still isn't getting repaired.
This is lame, I gotta restart and see if it's fixed. My colony is losing colonists because my largest dome is leaking oxygen permanently.