[isabelle] Release issue tracker no longer public



Hi,

I can't seem to view the issues for the release repo [0] any more. Is
this intentional?

Thanks,
Matthew

[0]: https://bitbucket.org/isabelle_project/isabelle-release/

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.