On Sat, Oct 28, 2017 at 07:50:33PM +0200, Thierry Thomas wrote: > Helle, > > Just a pointer to an interesting thread on svn-ports-head > beginning at > https://docs.freebsd.org/cgi/getmsg.cgi?fetch=1741271+0+current/svn-ports-head I get an empty page. Is the URL correct? Anton