diff --git a/doc/project/dev_env_and_tools.rst b/doc/project/dev_env_and_tools.rst
index 1ee4609a581..e8fa83e09e6 100644
--- a/doc/project/dev_env_and_tools.rst
+++ b/doc/project/dev_env_and_tools.rst
@@ -316,6 +316,8 @@ The issue or PR describes a change to a stable API.
 
 * *Hotfix*
 
+Fix for an issue blocking development.
+
 * *Trivial*
 
 * *Maintainer*