[Phpmyadmin-devel] reporting server and old tickets

Marc Delisle marc at infomarc.info
Thu Mar 12 13:52:58 CET 2015

Hi devs,
As a follow-up to [0], should we manually mark old tickets (older than 
the current version) as being "out of date", or should it be done 
automatically by the reporting server, or none of these?


Marc Delisle (phpMyAdmin)

More information about the Developers mailing list