Module Name: htdocs Committed By: andvar Date: Tue Sep 19 05:51:44 UTC 2023 Modified Files: htdocs/releases: formal.html Log Message: regen. To generate a diff of this commit: cvs rdiff -u -r1.128 -r1.129 htdocs/releases/formal.html Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.