Email Gateway (Aug 19 2022 at 10:58): Email Gateway (Aug 19 2022 at 10:58):From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
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.
Email Gateway (Aug 19 2022 at 11:05):From: Makarius <makarius@sketis.net>
I intended to switch it into read-only mode, but Bitbucket only allows to
make it public or private, without fine-grained access control.
The idea of the tracker was to see how this works out for the critical
weeks before a stable release. De-facto it turned out to be just an
extension of my personal mail folder, although with some tendency of
reduced attention of what was going on there -- sometimes I also forgot to
subscribe to items where that was not automatic.
Consequently, some important issues like Fedora 18 playing against Java 7
did not get the full public attention that they deserved. The issue came
up again on the mailing list here, but too late for the Isabelle2013
release.
It is still to be seen if the tracker will come back for the next
pre-release stage.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC