Barton Springs Pool closed for repairs

The City of Austin has given an update on what led to Barton Springs Pool being closed.