CVS commit: htdocs/releases/formal-7

["Maxime Villard" <maxv%netbsd.org@localhost>]

Module Name:    htdocs
Committed By:   maxv
Date:           Thu May 23 17:08:59 UTC 2019

Modified Files:
        htdocs/releases/formal-7: NetBSD-7.1.2.html NetBSD-7.1.2.xml

Log Message:
Fix broken link and regen.


To generate a diff of this commit:
cvs rdiff -u -r1.12 -r1.13 htdocs/releases/formal-7/NetBSD-7.1.2.html
cvs rdiff -u -r1.3 -r1.4 htdocs/releases/formal-7/NetBSD-7.1.2.xml

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