Merge branch 'public' into 'main'

Public See merge request roboct/definitions/json_schemas!20

Merge branch 'public' into 'main'
230b2085 · Simon Wittl · f9f601e8 · ac7595cb · 230b2085
Commit 230b2085 authored 2 weeks ago by Simon Wittl
--- a/src/thd_json/thd_joint_states/thd_joint_states.json
+++ b/src/thd_json/thd_joint_states/thd_joint_states.json
@@ -47,7 +47,7 @@
    "slave_joint_a5": {
      "$ref": "../joint/joint.json"
    },
-    "salve_joint_a6": {
+    "slave_joint_a6": {
      "$ref": "../joint/joint.json"
    },
    "table_joint_a1": {