[pgadmin-org/pgadmin4] 9379df: Update version for release 8.1

Branch: refs/heads/master Home: https://github.com/pgadmin-org/pgadmin4 Commit: 9379df25438ef4da19d2038307eac5c4ae0a6aab https://github.com/pgadmin-org/pgadmin4/commit/9379df25438ef4da19d2038307eac5c4ae0a6aab Author: Akshay Joshi Date: 2023-12-11 (Mon, 11 Dec 2023) Changed

[pgadmin-org/pgadmin4] 4490b6: Fixed an issue where option key was not registerin...

Branch: refs/heads/master Home: https://github.com/pgadmin-org/pgadmin4 Commit: 4490b623f888437d1c3472843f610a2f320ebd74 https://github.com/pgadmin-org/pgadmin4/commit/4490b623f888437d1c3472843f610a2f320ebd74 Author: Anil Sahoo Date: 2023-12-11 (Mon, 11 Dec 2023) Changed pa

[pgadmin-org/pgadmin4] 371bec: Italian translations update for v8.1

Branch: refs/heads/master Home: https://github.com/pgadmin-org/pgadmin4 Commit: 371bec7f19f7a30fee7e7e2693a539984e0eaf35 https://github.com/pgadmin-org/pgadmin4/commit/371bec7f19f7a30fee7e7e2693a539984e0eaf35 Author: Domenico Sgarbossa Date: 2023-12-11 (Mon, 11 Dec 2023) Ch

[pgadmin-org/pgadmin4] a01b09: Fixed an issue where syntax error was not highligh...

Branch: refs/heads/master Home: https://github.com/pgadmin-org/pgadmin4 Commit: a01b0973fcf6aa650580c79eb7f5161097200c89 https://github.com/pgadmin-org/pgadmin4/commit/a01b0973fcf6aa650580c79eb7f5161097200c89 Author: Pravesh Sharma Date: 2023-12-11 (Mon, 11 Dec 2023) Change