tech-lists (tech-lists at zyxst.net) wrote: > Not sure where to post this, but bugs.freebsd.org appears to be down right now > (10/10/19 @1521 UTC) There were problems with the server. Should be resolved now. -- gonzo