Commit 7df2637a authored by Jens Reidel's avatar Jens Reidel

Merge fonts into one

parent 04587fd5
Pipeline #2291 passed with stages
in 10 minutes and 49 seconds