LLeMbas Desktop 0.7.1, re-released: the fix folded in, no 0.7.2

The first 0.7.1 aborted on Linux before its window appeared (it read
WebKitWebView's write-only 'settings' property). The owner asked for the
patch to be released again rather than followed by a 0.7.2: this commit is
0.7.1 as it should have been, and tag v0.7.1 moves here. The release
workflow now replaces the release of a tag that is pushed again.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

.github/workflows/release.yml

@@ -62,5 +62,8 @@ jobs:
           GH_TOKEN: ${{ github.token }}
         run: |
           git tag -l --format='%(contents)' "$TAG" | sed '/-----BEGIN SSH SIGNATURE-----/,$d' > notes.md
+          # A tag moved to a fixed commit and pushed again replaces its release:
+          # the old one, and the files built from the old commit, go first.
+          gh release delete "$TAG" --repo "$GITHUB_REPOSITORY" --yes 2>/dev/null || true
           gh release create "$TAG" --repo "$GITHUB_REPOSITORY" --verify-tag \
             --title "LLeMbas Desktop $VERSION" --notes-file notes.md dist/*

CHANGELOG.md

@@ -6,16 +6,7 @@ All notable changes to LLeMbas Desktop. The format follows
 
 ## [Unreleased]
 
-## [0.7.2] — 2026-10-24
-
-### Fixed
-
-- **0.7.1 did not start on Linux.** It read a WebKitGTK property that can only be written, and the
-  app stopped before its window appeared ("property 'settings' of type 'WebKitWebView' is not
-  readable"). That line is gone; the microphone permission it was meant to back up stays, and
-  current WebKitGTK has media capture on by default.
-
-## [0.7.1] — 2026-10-23
+## [0.7.1] — 2026-10-24
 
 The microphone works, and LLeMbas CLI 1.5.1 inside.
 
@@ -25,8 +16,7 @@ The microphone works, and LLeMbas CLI 1.5.1 inside.
   for the microphone, and a webview grants it only if the app answers: WebKitGTK refuses whatever
   it is not answered on, and shows no prompt of its own. Desktop now allows the microphone -- the
   microphone only, and only for the server's page in the content view; a camera or a screen still
-  gets the platform's refusal. Media capture is also switched on explicitly, for the older
-  WebKitGTK the AppImage carries.
+  gets the platform's refusal.
 
 ### Changed
 

src-tauri/Cargo.lock

@@ -2064,7 +2064,7 @@ checksum = "47d9d19d1d6efa0109d2f65ff4c85cddd50bd572e5a00127ab10987290bcefae"
 
 [[package]]
 name = "llembas-desktop"
-version = "0.7.2"
+version = "0.7.1"
 dependencies = [
  "gtk",
  "libc",

src-tauri/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "llembas-desktop"
-version = "0.7.2"
+version = "0.7.1"
 description = "LLeMbas Desktop: your LLeMbas server in a window, with the agent on this computer"
 authors = ["Jaroslav Beneš"]
 license = "MIT"