Doc: ticket system ref
Hello,
In the doc, the old bug tracking system is advertized: "There is a public mailing list for users’ discussions: http://lists.gforge.inria.fr/ mailman/listinfo/why3-club. Report any bug to the Why3 Bug Tracking System: https://gforge.inria.fr/ tracker/?atid=10293&group_id=2990&func=browse."
Is this still usable ?