Re: [Maria-discuss] Reporting upstream bugs

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