Nota: Un problema nel tracker può essere chiuso in uno dei due modi. Può essere risolto con una modifica del codice, o può essere chiuso perché era un problema duplicato o non considerato un bug.

I problemi Risolti sono problemi per i quali è stata apportata una modifica al codice per risolvere il problema. Gli altri problemi Chiusi sono problemi che sono stati chiusi perché erano duplicati o non erano bug.

Nota che le pull request incorporate prima del 12 marzo 2016 potrebbero non avere lo stato corretto e se così sono incluse nei problemi Altri Chiusi.

Opzioni grafico