-
Oliver Pinter authored
Add a helper script to fetch the metadata from the jenkins server. The NOTES file still should be filled manually, but the formatting is done with the newer update_meta.py stuff. Signed-off-by: Oliver Pinter <oliver.pinter@hardenedbsd.org>
cfa32540