Now we have to fix any code in the core which directly uses the Fave class or any other favorite stuff, since it is pluginised and thus might not be available on some installations.db7cc7fa
We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org