Is the freedesktop.org server down?

[lbartoletti]

Hello,

I can't update some ports like dbus, poppler, etc. because I can't fetch archives from freedesktop.org. Do you have the same problem?

Regards.

 

[fonz]

I just tried a make fetch and it worked just fine. It was probably just a temporary glitch.