I hope the crew knew about it and was ready to surface if it started leaking. Well... I guess submarine crews are a good model for astronauts in that they live surrounded by a lethal environment. The difference is that, if you venture outside low Earth orbit, you may be days away from safety, so an extra amount of zeal with improvised repairs may be warranted.