Re-add entry, since it is used in the Mach number symbol

Undoes c000d4e
alexpovel · Jun 9, 2020 · d0d5683 · d0d5683
1 parent 0f9cd16
commit d0d5683
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/bib/glossaries/index/names.bib b/bib/glossaries/index/names.bib
@@ -15,6 +15,10 @@
 % if the entry label is printable, it can be used.
 % An explicit name field is required for escaped characters (umlauts etc.)
 
+@index{ernst_mach,
+    name={Mach},
+    firstname={Ernst},
+}
 @index{edward_tufte,
     name={Tufte},
     firstname={Edward},