OSDN Git Service

Merge pull request #5 from MasaoFujii/master
authorFujii Masao <masao.fujii@gmail.com>
Tue, 11 Apr 2023 09:48:44 +0000 (18:48 +0900)
committerGitHub <noreply@github.com>
Tue, 11 Apr 2023 09:48:44 +0000 (18:48 +0900)
Fix compilation error in pg_bigm caused by PostgreSQL 16dev update


Trivial merge