]> git.ipfire.org Git - thirdparty/psycopg.git/commitdiff
Merge branch 'crdb-ci'
authorDaniele Varrazzo <daniele.varrazzo@gmail.com>
Mon, 29 Aug 2022 08:58:57 +0000 (09:58 +0100)
committerDaniele Varrazzo <daniele.varrazzo@gmail.com>
Mon, 29 Aug 2022 08:58:57 +0000 (09:58 +0100)

Trivial merge