mirror of
https://github.com/postgres/postgres.git
synced 2025-10-16 17:07:43 +03:00
be2ab58f62
The DEFAULT parameter seems most similar to the NULL parameter, so move it next to it, instead of having it at the end of the parameter list because it was the last one added.