BUG #16193: Tools menu in pgAdmin is not shown

PG Bug reporting form <[email protected]> Mon, 06 Jan 2020 14:58:32 +0000

Newsgroups	gmane.comp.db.postgresql.bugs
Message-ID	<[email protected]>

--===============8640722997443051585==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64

VGhlIGZvbGxvd2luZyBidWcgaGFzIGJlZW4gbG9nZ2VkIG9uIHRoZSB3ZWJzaXRlOgoKQnVnIHJl
ZmVyZW5jZTogICAgICAxNjE5MwpMb2dnZWQgYnk6ICAgICAgICAgIENoYXJsaWUgUEZNCkVtYWls
IGFkZHJlc3M6ICAgICAgY2hhcmxlc19jb2xlbWFuQHBmbS5vcmcKUG9zdGdyZVNRTCB2ZXJzaW9u
OiAxMS4yCk9wZXJhdGluZyBzeXN0ZW06ICAgV2luZG93cyAxMApEZXNjcmlwdGlvbjogICAgICAg
IAoKV2hlbiBwb3dlcmluZyB1cCBwZ0FkbWluIHY0LjE2LCB0aGVyZSBpcyBubyBUb29scyBtZW51
LiBTbyBJIGhhdmUgbm8gd2F5IHRvCmRvIHRoZSBJbXBvcnQvRXhwb3J0IGZ1bmN0aW9uLgoK

--===============8640722997443051585==--