This is the rainiest July 13 ever.

The weather app says we got 0.05 inches of rain.

The previous record was 0.00 set in 1942.