Message-ID: From: "sehrope (@sehrope)" To: "pgjdbc/pgjdbc" Date: Sat, 29 Mar 2025 16:55:21 +0000 Subject: [pgjdbc/pgjdbc] PR #3586: docs: Relabel 42.7.4 as past version as it is no longer the latest List-Id: X-GitHub-Author-Id: 1690926 X-GitHub-Author-Login: sehrope X-GitHub-Issue: 3586 X-GitHub-Repo: pgjdbc/pgjdbc X-GitHub-State: merged X-GitHub-Type: pull_request X-GitHub-Url: https://github.com/pgjdbc/pgjdbc/pull/3586 Content-Type: text/plain; charset=utf-8 I'm not particularly familiar with how the website gets generated but looks like it's all data driven so hoping this is that's required. Fixes #3585