Sorry (to all) for the problems with trac. The current instance will not be fixed by local sysadmins. We have a migration route to a supported Trac instance which means moving to svn, but an alternative would be to move to an outsourced system such as github.

Meanwhile, I recommend simply ticking the "ticket details" on the timeline view:

there are not so many issues or comments that you won't be able to easily pick out relevant ones from there. So it's still pull, but you can always use the RSS feed at the bottom of the page...

 - D.

On 14/09/12 14:11, Hendrik Tews wrote:

how can I add my email address (which is different from coquser)
to an existing bug report? Having to click all issues, only for
checking if somebody has answered, is really not acceptable.


ProofGeneral-devel mailing list

ProofGeneral-devel mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to