diff --git a/manifest/default.dev.xml b/manifest/default.dev.xml
index c1bb70d..b074a79 100644
--- a/manifest/default.dev.xml
+++ b/manifest/default.dev.xml
@@ -133,7 +133,7 @@
   <project name="server-backend.git" path="addons/OCA_server-backend" remote="OCA" groups="addons"/>
   <project name="server-brand.git" path="addons/OCA_server-brand" remote="OCA" groups="addons"/>
   <project name="server-env.git" path="addons/OCA_server-env" remote="OCA" groups="addons"/>
-  <project name="server-tools.git" path="addons/OCA_server-tools" remote="OCA" groups="addons"/>
+  <project name="server-tools.git" path="addons/OCA_server-tools" remote="OCA" revision="12.0_dev" groups="addons"/>
   <project name="server-ux.git" path="addons/OCA_server-ux" remote="OCA" groups="addons"/>
   <project name="social.git" path="addons/OCA_social" remote="OCA" groups="addons"/>
   <project name="stock-logistics-warehouse.git" path="addons/OCA_stock-logistics-warehouse" remote="OCA" groups="addons"/>