Follow-up Comment #3, sr #110582 (project administration): We don't use <pre> in verbatim areas, it would introduce worse issues.
_______________________________________________________ Reply to this item at: <https://savannah.nongnu.org/support/?110582> _______________________________________________ Message sent via Savannah https://savannah.nongnu.org/