changement nom distrib pour DB09 (normalisation)

diff --git a/src/internal_config/distrib.pyconf b/src/internal_config/distrib.pyconf
index 1d15c712643b433fd39829d5e0491478a1d1eaff..50389e6e1438de865f0da14d292de04a8956a920 100644 (file)
--- a/src/internal_config/distrib.pyconf
+++ b/src/internal_config/distrib.pyconf
@@ -47,6 +47,15 @@ VERSIONS :
            "8.5" : "08"
            "8.6" : "08"
            "8.7" : "08"
+           "8.8" : "08"
+           "9.1" : "09"
+           "9.2" : "09"
+           "9.3" : "09"
+           "9.4" : "09"
+           "9.5" : "09"
+           "9.6" : "09"
+           "9.7" : "09"
+           "9.8" : "09"
     }
     "MD":
     {