Re: [Maria-discuss] Reporting upstream bugs

2013-01-10 Thread Michael Widenius
Hi! > "Federico" == Federico Razzoli writes: Small addition to Elena's answer: Federico> Hi all. Federico> I reported a bug in JIRA - I hit it in MariaDB but it was tagged as "upstream". This brings us to the question: is it ok to report upstream bugs in MariaDB's JIRA? When we mark i

Re: [Maria-discuss] Reporting upstream bugs

2013-01-10 Thread Federico Razzoli
> 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! Feder