Github bot : json sorted

This commit is contained in:
github-actions
2023-05-28 00:23:38 +00:00
parent 3641a9a671
commit 11efe5d358
7 changed files with 14 additions and 14 deletions

View File

@@ -8,4 +8,4 @@
"source": "github",
"upstream_repo": "postgres",
"upstream_version": "15.3"
}
}