Developer gnome search is down since Monday

I noticed that the search engine (https://developer.gnome.org/) does not work since Monday.
Does this Affects you all, or is just a local (Germany) problem only?

If I try to search something I get the same message every time:

Not Found

The requested URL /symbols/ was not found on this server.

Please, file an issue on GitLab to let the system administrators know.

I did. I hope get fixes, because I use it every day.

Iā€™d recommend using DevHelp locally, instead.

1 Like

Thank you for your suggestion, but I provide Video documentation for Object Hierarchy on my YouTube Channel and I need that.