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)