Ludovic Courtès <l...@gnu.org> skribis: > ‘font-dejavu’ is propagated by the ‘gnome’ package, which is why there’s > no such problem when using ‘gnome-desktop-service-type’. The solution > is to make sure one of these fonts is always installed by default. > > The attached patch does that. I’ll go ahead and push it if there are no > objections.
Pushed as c09e331b25e35dc435af67765a9bdb2e8f4aa296. Ludo'.
