From e7b0966011af9f15f92e21615e7cac79114bdfd1 Mon Sep 17 00:00:00 2001
From: Emmanuel Viennet <emmanuel.viennet@gmail.com>
Date: Tue, 22 Aug 2023 23:42:32 +0200
Subject: [PATCH] Version bump

---
 sco_version.py  | 2 +-
 tools/config.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/sco_version.py b/sco_version.py
index 30ba50589..037083020 100644
--- a/sco_version.py
+++ b/sco_version.py
@@ -1,7 +1,7 @@
 # -*- mode: python -*-
 # -*- coding: utf-8 -*-
 
-SCOVERSION = "9.6.9"
+SCOVERSION = "9.6.10"
 
 SCONAME = "ScoDoc"
 
diff --git a/tools/config.sh b/tools/config.sh
index 2a6c1627f..25d953163 100644
--- a/tools/config.sh
+++ b/tools/config.sh
@@ -45,7 +45,7 @@ then
  PSQL=/usr/lib/postgresql/15/bin/psql
  #export POSTGRES_SERVICE="postgresql@11-main.service"
 else
-   die "unsupported Debian version"
+   die "unsupported Debian version (${debian_version}, expected 12)"
 fi
 export PSQL