Thanks for pointing this out. It took some searching, but this is now fixed. On 15/02/2020 21.52, ALEX OSSIPOV wrote:

All links in Search results point to localhost:8080 instead of site. Can it be fixed? Thanks Alex 

_______________________________________________ users-list mailing list users-list@monetdb.org https://www.monetdb.org/mailman/listinfo/users-list