This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 141

Summary:	About dialog contains wrong bug submission guidelines
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	minor
Priority:	P2
Version:	3.4.8
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2005-03-30 14:44:17 CEST

In version 3.4.x, the about dialog encourages that bugs are mailed to the
bug-uppaal mailing list. The user should be encouraged to use the bugzilla
installation instead.

Comment 1 Gerd Behrmann 2005-03-30 18:25:59 CEST

Fixed in CVS.