Michael B_ created an issue: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/245
I noticed that the search engine (https://developer.gnome.org/ 2) 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. -- Reply to this email directly or view it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/245 You're receiving this email because of your account on gitlab.gnome.org.
_______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
