CVS commit: htdocs/releases/formal-8

["Martin Husemann" <martin%netbsd.org@localhost>]

Module Name:    htdocs
Committed By:   martin
Date:           Mon May 13 17:14:33 UTC 2019

Modified Files:
        htdocs/releases/formal-8: index.html

Log Message:
Regen (prepare for 8.1 RC1)


To generate a diff of this commit:
cvs rdiff -u -r1.10 -r1.11 htdocs/releases/formal-8/index.html

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.