Responded on the bug. It's not reproducible now, so I'm going to handwave that it was either a replication hiccup or a caching issue, both of which happen occasionally.
On Tue, Dec 17, 2013 at 11:33 PM, Mark Miller <erig...@gmail.com> wrote: > As reported at https://code.google.com/p/support/issues/detail?id=31259 > Is this a known problem? > > -- > Cheers, > --MarkM > > -- > You received this message because you are subscribed to the Google Groups > "Project Hosting on Google Code" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to google-code-hosting+unsubscr...@googlegroups.com. > To post to this group, send email to google-code-hosting@googlegroups.com. > Visit this group at http://groups.google.com/group/google-code-hosting. > For more options, visit https://groups.google.com/groups/opt_out. > -- You received this message because you are subscribed to the Google Groups "Project Hosting on Google Code" group. To unsubscribe from this group and stop receiving emails from it, send an email to google-code-hosting+unsubscr...@googlegroups.com. To post to this group, send email to google-code-hosting@googlegroups.com. Visit this group at http://groups.google.com/group/google-code-hosting. For more options, visit https://groups.google.com/groups/opt_out.
