I've just pushed reindenting on master and 1.12 to the pgadmin repository.
Build target "make style" also pushed to both.
This is likely to cause conflicts with any and all patches you have
pending - sorry about that, but there's really no way around it.
Hopefully the git "patch merging magic" can help in many cases - but I
honestly don't know how well...
Anyway. Happy hacking, and Happy New Year to all of the devteam!
--
Magnus Hagander
Me: http://www.hagander.net/
Work: http://www.redpill-linpro.com/
