Re: [CentOS-devel] Which bug tracker should I use to report things to CentOS ? (recap)