mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 14:17:35 +08:00
"DESCRIPTION", which is actually only allowed for device drivers. The compilers ignore it with a warning - if we remove them, we get rid of the warning. Magnus Hagander