On Sun, May 17, 2015 at 7:03 AM, Magnus Hagander <magnus@hagander.net> wrote:
> This was fixed earlier this week. So if you still see the problem/see it
> again, please let me know!
I saw this again, but things work fine once I log in using an
incognito window. I wonder if the problem is with an old cookie.
--
Peter Geoghegan