[jboss-user] [JBoss Portal] - How to correctly report a bug?

Hi! What's the desired workflow to report a bug? As I understand: *** 1. post it to the user-forum (Or should I post to the developer-forum instead?) 2. discuss with people who should know if it's really a bug 3. If it is, create a JIRA-issue *** Is this correct? http://www.jboss.org/community/docs/DOC-9135 says, that bugs shouldn't be posted to the forum. Enough about theory, I've four typos in german Resource.properties (portal-users-samples.war, portal-cms.war, portal-admin.war) Can I discuss this with someone per mail? Creating JIRA-issues seems to be disproportionate... Regards, LeoLo View the original post : http://www.jboss.org/index.html?module=bb&op=viewtopic&p=4221575#... Reply to the post : http://www.jboss.org/index.html?module=bb&op=posting&mode=reply&a...