Our official gauge showed 4.28 inches. We have unofficial reports of six inches from some private rain gauges. That's a lot of rain at one time.

This has put an end to the drought, at least for now.