Wxwidgets has gone to 2.9.4

Guillaume and others:

I have spent so much time up in the pointy bit I feel uncomfortable 
elsewhere. ;-)

Wxwidgets has now released 2.9.4. Unless I get feedback to the contrary 
I will attempt to run pgadmin with this new version to test. Will this 
be possible with current configure options in pgadmin?
-- 
---
Colin Beckingham
613-454-5369
http://www.it4gh.com