diff options
| author | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2019-10-19 14:56:21 +0200 |
|---|---|---|
| committer | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2019-10-19 15:22:48 +0200 |
| commit | d5c7ec7ae8efdfb194b1ffe4b4c462396579206f (patch) | |
| tree | 398479cd5955eb92cd4c7d57ac01079875ae5538 /scripts/make_errors.py | |
| parent | 8f11821c173d723824c537c6b36cb5e7b883149d (diff) | |
Added Postgres 12 errors
Diffstat (limited to 'scripts/make_errors.py')
| -rwxr-xr-x | scripts/make_errors.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make_errors.py b/scripts/make_errors.py index 91c07780..ecb74eb5 100755 --- a/scripts/make_errors.py +++ b/scripts/make_errors.py @@ -30,7 +30,7 @@ def main(): # If you add a version to the list fix the docs (in errors.rst) classes, errors = fetch_errors( - ['9.1', '9.2', '9.3', '9.4', '9.5', '9.6', '10', '11']) + ['9.1', '9.2', '9.3', '9.4', '9.5', '9.6', '10', '11', '12']) f = open(filename, "w") print("/*\n * Autogenerated by 'scripts/make_errors.py'.\n */\n", file=f) |