Thanks. This seems to be a bug in fact, as it could mis-identify a function that returns void as a procedure. Applied for 1.12.3 and master.
pgadmin-hackers by date:
Соглашаюсь с условиями обработки персональных данных