On Mon, 10 Jun 2013 13:32:49 -0700 David Guntner <david@guntner.com> wrote: > There was just an announcement that 7.1 (not 7.0.1?) is going to be > released June 15. where did you see that?