GAINESVILLE, TX -- People in gainesville will be a little cooler next summer.
Demolition is underway on the old pool in Leonard Park, to make room for the new pool which will be built in the same spot.
The pool is expected to open in June of next year.
