Bug#984555: Ping?

[Markus Demleitner]

Hi all,

Have you had a chance to see if my diagnosis about two versions of
postgres running is right?

        -- Markus