> 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 _______________________________________________ Mailing list: https://launchpad.net/~maria-discuss Post to : maria-discuss@lists.launchpad.net Unsubscribe : https://launchpad.net/~maria-discuss More help : https://help.launchpad.net/ListHelp
