Merge branch 'master' into next_minor_version

2023-03-30 18:10:19 +02:00 · 2023-03-30 18:10:19 +02:00 · 4a3dc75df5
parent d07cbed7fa 9d9f3b500e
commit 4a3dc75df5
1 changed files with 1 additions and 0 deletions
--- a/dev/list_tags.sh
+++ b/dev/list_tags.sh
@ -0,0 +1 @@
+git tag -l '*.0' -n1 --sort=v:refname