mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 02:57:29 +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