Update whats-new.json

This commit is contained in:
mr. m 2025-06-15 14:11:48 +02:00 committed by GitHub
parent 26a66284b4
commit 378ea8d88b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1 +1 @@
["This update includes a nice upgrade to workspace management and some nice fixes!", "1.13b"]
["This update includes a nice upgrade to workspace management and some nice fixes!", "1.13.1b"]