diff options
| author | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2020-09-05 20:24:19 +0100 |
|---|---|---|
| committer | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2020-09-05 20:26:19 +0100 |
| commit | dd1724c44789df3b1ce84e7ae5b6cfe5675c689b (patch) | |
| tree | f270cb6359095159dffaf0923931c1f6ac6d05a5 /scripts/make_errors.py | |
| parent | c203d681c4503c4d554ce114fea66c4999e2f7a3 (diff) | |
Errors mapping updated to PostgreSQL 13
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 d88ca20f..0d0a3a81 100755 --- a/scripts/make_errors.py +++ b/scripts/make_errors.py @@ -31,7 +31,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', '12']) + ['9.1', '9.2', '9.3', '9.4', '9.5', '9.6', '10', '11', '12', '13']) f = open(filename, "w") print("/*\n * Autogenerated by 'scripts/make_errors.py'.\n */\n", file=f) |