]> git.ipfire.org Git - thirdparty/psycopg.git/commitdiff
Merge pull request #1193 from jerch/fix/no-pinning-copy-text
authorDaniele Varrazzo <daniele.varrazzo@gmail.com>
Sat, 25 Oct 2025 10:12:00 +0000 (11:12 +0100)
committerGitHub <noreply@github.com>
Sat, 25 Oct 2025 10:12:00 +0000 (11:12 +0100)

Trivial merge