<div dir="ltr">Hello,<div><br></div><div>If you followed the weekly meeting regularly, you should know that we are working in transitioning our bug tracker from trac tickets to github issues.</div><div><br></div><div>We decided in the last meeting to go ahead and run the migration script this week, and I will run it in one hour.</div><div>We've taken the effort to map the email addresses as much as we can to github accounts, and the new issues will @mention your account if you participated to migrated tickets.</div><div><br></div><div>This may result in a few emails in your mailbox, but this will help to keep best tracking. We apologies for the annoyance.</div><div><br></div><div>Regards,</div><div>Pierre</div></div>