![](https://secure.gravatar.com/avatar/06fb7e7f8217ef0e572a8334567b7559.jpg?s=120&d=mm&r=g)
10 Jan
2013
10 Jan
'13
12:13 p.m.
It's totally fine to report upstream bugs in MariaDB JIRA, please don't take offense at the tags, we just need them for our workflow.
I don't :) Just wanted to be sure that reporting such bugs in jira is correct. Thanks al the team for being so responsive after a bug report! Federico Razzoli