webmaster(at)postgresql(dot)org writes:> PostgreSQL.org mirror check script starting...> [much snipped]
Um, do we really need this sent to the whole list each day?
regards, tom lane