From e0406c70f061fafffcdde7b39f88ca04c131420a Mon Sep 17 00:00:00 2001
From: Davide Cavestro <davide.cavestro@gmail.com>
Date: Sun, 17 Nov 2024 15:26:48 +0100
Subject: [PATCH] ci: force publishing last tag

---
 .github/tags.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/tags.txt b/.github/tags.txt
index 03d71ad..c828373 100644
--- a/.github/tags.txt
+++ b/.github/tags.txt
@@ -123,4 +123,3 @@ v0.19.8
 v0.19.9
 v0.19.10
 v0.19.11
-v0.19.12