documentation/dev-guide.md

@@ -5,6 +5,7 @@ title: Developer guide
 
 
 
+
 # IMPORTANT 
 
 If you have a local clone of the repository that **predates Feb. 19th, 2025, you must absolutely make a new clone**. 
@@ -196,7 +197,7 @@ Commits are first described by the type of their content, listed in the followin
 |   Type   |                                                                 Description                                                                |
 |----------|--------------------------------------------------------------------------------------------------------------------------------------------|
 | feature     | new feature                                                                                                                                |
-| fix      | bug fix                                                                                                                                    |
+| fix or hotfix      | bug fix                                                                                                                                    |
 | chore    | changes that do not relate to a fix or feature and don't modify src or test files (for example updating dependencies)                      |
 | refactor | refactored code that neither fixes a bug nor adds a feature                                                                                |
 | docs     | updates to documentation such as a the README or other markdown files                                                                      |