Say 0.13 on the install page #191

Merged
paulhitt merged 1 commits from fix/get-page-0-13 into main 2026-09-10 13:43:42 +00:00
paulhitt commented 2026-09-10 13:42:03 +00:00 (Migrated from gitlab.com)

Adding the 0.13 release notes left /get advertising 0.12 and describing
what the build before it did. Somebody deciding whether to install was
reading a stale number and a stale reason.

Caught by the test that exists for exactly this: it reads the newest
Android release out of releases.json and holds every "Version 0.x" the
page states against it, so the two cannot drift without saying so.

Co-Authored-By: Claude Opus 5 noreply@anthropic.com

Adding the 0.13 release notes left /get advertising 0.12 and describing what the build before it did. Somebody deciding whether to install was reading a stale number and a stale reason. Caught by the test that exists for exactly this: it reads the newest Android release out of releases.json and holds every "Version 0.x" the page states against it, so the two cannot drift without saying so. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
paulhitt commented 2026-09-10 13:42:03 +00:00 (Migrated from gitlab.com)

assigned to @paulhitt

assigned to @paulhitt
paulhitt commented 2026-09-10 13:43:42 +00:00 (Migrated from gitlab.com)

mentioned in commit 5657852ba4

mentioned in commit 5657852ba48601df6337f3cbda5e3e7e42a4ce62
paulhitt (Migrated from gitlab.com) merged commit 5657852ba4 into main 2026-09-10 13:43:42 +00:00
paulhitt commented 2026-09-12 01:23:04 +00:00 (Migrated from gitlab.com)

mentioned in issue #62

mentioned in issue #62
Sign in to join this conversation.