commit 655cb7073d95b3ab99233dedcaf3b151e4147ba3
Author: Juergen Spitzmueller <[email protected]>
Date:   Sat Jul 13 18:24:07 2019 +0200

    Bring back accidentally removed option
---
 lib/latexfonts |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/lib/latexfonts b/lib/latexfonts
index b4ecd1e..75dba78 100644
--- a/lib/latexfonts
+++ b/lib/latexfonts
@@ -1027,6 +1027,7 @@ Font NotoMonoRegular
        ScaleOption     scaled=$$val
        Package         noto-mono
        PackageOption   regular
+       OsfOption       osf
        MoreOptions     1
 EndFont
 

Reply via email to