The source project of this merge request has been removed.
provide replacement for deprecated gtk_widget_override_font, see…
provide replacement for deprecated gtk_widget_override_font, see https://gitlab.gnome.org/GNOME/tepl/issues/10
provide replacement for deprecated gtk_widget_override_font, see https://gitlab.gnome.org/GNOME/tepl/issues/10