I think this fixes #4525 not #4520.
On Thu, Aug 1, 2019, 9:29 AM Dave Page <dpage(at)pgadmin(dot)org> wrote:
> Ensure command tags are shown in the messages tab of the Query Tool. Fixes
> #4520
>
> Branch
> ------
> master
>
> Details
> -------
>
> https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=76e658ee129a49afc74152b57330cf2c2e653e2e
> Author: Yosry Muhammad <yosrym93(at)gmail(dot)com>
>
> Modified Files
> --------------
> docs/en_US/release_notes_4_12.rst | 3 ++-
> web/pgadmin/tools/sqleditor/__init__.py | 23
> +++++++++++-----------
> .../tools/sqleditor/tests/test_view_data.py | 2 +-
> .../utils/tests/test_save_changed_data.py | 2 +-
> 4 files changed, 16 insertions(+), 14 deletions(-)
>
>