From c749607db802e9e48c08274a1dad48d39938e35b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nora=20Dimitrijevi=C4=87?= <d10c@users.noreply.github.com>
Date: Tue, 7 Oct 2025 11:22:16 +0200
Subject: [PATCH] Bump python extractor version to 7.1.5

---
 python/extractor/semmle/util.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/extractor/semmle/util.py b/python/extractor/semmle/util.py
index 8196f76e437..2f6a18ac7a9 100644
--- a/python/extractor/semmle/util.py
+++ b/python/extractor/semmle/util.py
@@ -10,7 +10,7 @@ from io import BytesIO
 
 #Semantic version of extractor.
 #Update this if any changes are made
-VERSION = "7.1.4"
+VERSION = "7.1.5"
 
 PY_EXTENSIONS = ".py", ".pyw"