Merge branch 'flxflx-docs' of https://github.com/edgelesssys/contrast …

…into flxflx-docs
edgelesssys · Sep 24, 2024 · 15fca8e · 15fca8e
2 parents 3cd58ea + 3ded4d6
commit 15fca8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/docs/examples/emojivoto.md b/docs/docs/examples/emojivoto.md
@@ -231,7 +231,7 @@ the list that already contains the `"web"` DNS entry:
       },
 ```
 
-### Updatating the manifest
+### Updating the manifest
 
 Next, set the changed manifest at the coordinator with: