PR feedback

design-tokens · Nov 27, 2024 · c132b49 · c132b49
1 parent 5376d14
commit c132b49
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/technical-reports/format/design-token.md b/technical-reports/format/design-token.md
@@ -181,7 +181,7 @@ Tool vendors are encouraged to publicly share specifications of their extension
 
 ### Deprecated
 
-The optional **`$deprecated`** property is a boolean or string where tooks MAY specify deprecated tokens. A token MAY be marked deprecated in any of the following scenarios:
+The optional **`$deprecated`** property is a boolean or string where tools MAY specify deprecated tokens. A token MAY be marked deprecated in any of the following scenarios:
 
 - A future update to the design system will remove this token
 - Removing the token now may break existing support

diff --git a/technical-reports/format/groups.md b/technical-reports/format/groups.md
@@ -208,7 +208,7 @@ In this example, the "brand" group has 2 extensions: `org.example.tool-a` and `o
 
 ### Deprecated
 
-The optional **`$deprecated`** property is a boolean or string where tooks MAY specify all tokens within the group are deprecated. A token MAY be marked deprecated in any of the following scenarios:
+The optional **`$deprecated`** property is a boolean or string where tools MAY specify all tokens within the group are deprecated. A token MAY be marked deprecated in any of the following scenarios:
 
 - A future update to the design system will remove this token
 - Removing the token now may break existing support