Yup, agreed, plenty of compatible fonts out there On Fri, Apr 6, 2018, 11:02 AM Jacopo Cappellato < [email protected]> wrote:
> On Fri, Apr 6, 2018 at 8:18 AM, Jacques Le Roux < > [email protected]> wrote: > > > Another option could be to replace this font by another one from Category > > A, like Google "Noto Sans" or what not > > > > This is my preference: I prefer to avoid to make our product license > trickier just to include a font family. > > Jacopo >
