Hi,
Seemed I had a network trouble on my side, not the opengrok side.
I noticed that when I connect to the server with my smartphone, and I
was able to do so. I restarted the ONU and router device, and confirmed
that I can connect to the server now!
In such circumstances it is advised to jus
himajin10 kirjoitti 21.7.2020 klo 14.36:
Hi,
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 yo
Hi,
I currently have difficulty accessing opengrok.libreoffice.org
Can anyone reproduce this issue?
--
himajin10
___
LibreOffice mailing list
LibreOffice@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/libreoffice
