From 655cb7073d95b3ab99233dedcaf3b151e4147ba3 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Sat, 13 Jul 2019 18:24:07 +0200
Subject: [PATCH] Bring back accidentally removed option

---
 lib/latexfonts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/latexfonts b/lib/latexfonts
index b4ecd1e55d..75dba78ae9 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