diff --git a/DEVELOPERS b/DEVELOPERS
index ece0d986ae..dcc607ba60 100644
--- a/DEVELOPERS
+++ b/DEVELOPERS
@@ -1724,6 +1724,7 @@ F:	support/testing/tests/package/test_python_spake2.py
 F:	support/testing/tests/package/test_rdma_core.py
 F:	support/testing/tests/package/test_rdma_core/
 F:	support/testing/tests/package/test_z3.py
+F:	support/testing/tests/package/test_z3/
 
 N:	Julien Viard de Galbert <julien@vdg.name>
 F:	package/dieharder/