cannot access opengrok.libreoffice.org (but ping works)
ilmari.lauhakangas at libreoffice.org
Tue Jul 21 11:46:47 UTC 2020
himajin100000 kirjoitti 21.7.2020 klo 14.36:
> I currently have difficulty accessing opengrok.libreoffice.org
> Can anyone reproduce this issue?
The machine was restarted 45 minutes ago and it works again.
In such circumstances it is advised to just use git grep or whichever
grepping tool you like best against your local clone of the source code.
More information about the LibreOffice