[Bug 263887] Ports index file isn't updated

From: <bugzilla-noreply_at_freebsd.org>
Date: Mon, 09 May 2022 21:08:54 UTC

Danilo G. Baio <dbaio@freebsd.org> changed:

           What    |Removed                     |Added
           Assignee|mirror-admin@FreeBSD.org    |dbaio@freebsd.org
             Status|New                         |Closed
         Resolution|---                         |FIXED
                 CC|                            |dbaio@freebsd.org

--- Comment #2 from Danilo G. Baio <dbaio@freebsd.org> ---

That should be fixed in all mirrors in a few minutes. If it doesn't, please
re-open this.
And thanks for the report.

$ curl -sI https://download.FreeBSD.org/ports/index/INDEX-13.bz2 | grep
Last-Modified: Mon, 09 May 2022 18:59:21 GM

You are receiving this mail because:
You are on the CC list for the bug.