diff --git a/debian_version b/debian_version index 800fd35e..d39b7a2d 100644 --- a/debian_version +++ b/debian_version @@ -1 +1 @@ -12.4 +12.5