mirror of
https://github.com/postgres/postgres.git
synced 2025-07-24 14:22:24 +03:00
Nothing seems to actually depend on the attribute, as the docs built successfully, but let's be tidy. Reported offlist by Matthias van de Meent