CVS: cvs.openbsd.org: ports

[Marc Espie]

CVSROOT:        /cvs
Module name:    ports
Changes by:     es...@cvs.openbsd.org   2023/05/02 03:39:00

Modified files:
        infrastructure/lib/DPB: HostProperties.pm 

Log message:
explicitly document that we copy the hash