port-hp700 is getting closed, please subscribe to port-hppa instead

"S.P.Zeidler" <[email protected]> Thu, 1 May 2014 20:44:18 +0000
Newsgroups gmane.os.netbsd.ports.hp700
Message-ID <[email protected]>
Dear all,

port-hp700 has been renamed to port-hppa, as announced by Nick Hudsons mail
(http://mail-index.netbsd.org/port-hp700/2014/02/24/msg000159.html)

Accordingly, [email protected] is getting closed; please subscribe
to [email protected] instead.

best regards,
	spz