Re: #1216: Unblock pgadmin3 for F-10 and devel