On 2015-08-10 00:58, Andrés Sicard-Ramírez wrote: > Please continue reporting or modifying the issues in > > https://github.com/agda/agda/issues 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? -- /NAD