id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	size
135	Place timestamps in headers of specialized db-dump files	adehnert		"In /mit/asa-db/data/db-dump/midway_groups.html, we have
{{{
        <!-- Automatically generated by groups/format_groups.py midway.
        Do not edit; instead re-run that script (or edit it as necessary). -->
}}}

The header might be slightly more useful with a timestamp of generation.

(See also ASA-#134)"	enhancement	closed	trivial	Sometime	Reporting		fixed			tiny