I've contacted GitLab about this. Thank you for reporting it.
- Rob. On Wed, 2 Aug 2017, at 11:20 PM, Alexander Yakovlev wrote: > The git.gnu.io HTTPS certificate expired on August 2, 2017, 9:50 PM. > > The web pages and git use HSTS so the git is essentially down. Is there > a mirror to get the libre.fm sources? > > -- A.Y. >
