diff --git a/DEVELOPERS b/DEVELOPERS
index a1d8e57f36..abddf9df41 100644
--- a/DEVELOPERS
+++ b/DEVELOPERS
@@ -428,6 +428,7 @@ F:	package/eudev/
 F:	package/hicolor-icon-theme/
 F:	package/jemalloc/
 F:	package/ninja/
+F:	package/skalibs/
 F:	package/smack/
 F:	package/xvisor/