[Why3-club] Where to add new feature requests?

David MENTRE dmentre at linux-france.org
Thu Nov 3 17:35:19 CET 2011


Where should I add requests for new features? In the bug tracker
or in the feature request tracker

I used the latter but I'm not sure it is really used by Why3 developers.

Best regards,

More information about the Why3-club mailing list