Missing fullexport for 20171101?

Noticed our mirror had not updated in almost a week so I thought something had gone wrong with our process, but I noticed that the fullexport has not had a LATEST update since 20171028-001548. Poking around I see that there was a json-dump on 20171101-001001.
Was there some type of glitch with the fullexport? Does someone know if this has moved? Any help would be greatly appreciated :slight_smile:

Yes, we currently experience issues with the server building the export. @bitmap has moved this task to another server, although it won’t change the download URL you are used to.

Edit: It is already available from ftp://ftp.musicbrainz.org/pub/musicbrainz/data/fullexport/
Mirrors are not up-to-date at the moment.

The Danish EU mirror is up-to-date:
https://mirrors.dotsrc.org/MusicBrainz/data/fullexport/