From 8d244addd15eca1eb8b9d48bb55735ad4cd83069 Mon Sep 17 00:00:00 2001 From: Paul Ebbers Date: Fri, 29 Nov 2024 14:03:10 +0100 Subject: [PATCH] update version --- package.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.xml b/package.xml index 313a443..6bc9f7d 100644 --- a/package.xml +++ b/package.xml @@ -5,7 +5,7 @@ Adds a search bar widget for tools, document objects, and preferences - 1.1.0 + 1.2.0 2022-06-01