12 Mar
2015
12 Mar
'15
1:52 p.m.
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?
[0] https://wiki.phpmyadmin.net/pma/2015-03_Meeting#Using_the_reporting_server
--
Marc Delisle (phpMyAdmin)