id summary reporter owner description type status priority milestone component resolution keywords cc fix_version see_also 1097 Kill tex-config with fire jdreed It is no longer needed, because tex has joined the 21st century and respects /etc/papersize, which is set via locale. defect closed normal Precise Alpha -- fixed