Not just for the date, but for the entire month of July. Coldest July morning since World War II in parts of the Capital City.

25 July 2019 – AUSTIN, Texas – With a low of 58 Wednesday morning, the Austin-Bergstrom International Airport official thermometer blew away the old all-time monthly low of 60 from 2013, making it the coldest July morning since World War II in parts of the Capital City. The July 25th daily record low of 67 (from 2000) was also shattered.

See video of Chief Meteorologist Burton Fitzsimmons showing a the list of coldest readings from across Central Texas. (Link below)

https://spectrumlocalnews.com/tx/austin/news/2019/07/25/all-time-july-low-temp-record-shattered-on-wednesday

Thanks to Jack Hydrazine for this link