[Agda-dev] New bug tracker for Agda

[Andrés Sicard-Ramírez]

On 18 August 2015 at 05:30, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> Attachment links use URLs like
> https://storage.googleapis.com/google-code-attachments/agda/issue-<m>/comment-<n>/<attachment>.
> Do you know for how long such links will work correctly?

No. The official information in

  https://code.google.com/p/support/wiki/ReadOnlyTransition

doesn't mention these URLs. I'll ask about it.

-- 
Andrés