Another PostgreSQL Diff Tool 1.2 released

Fixed bug #2032983 (CREATE UNIQUE INDEX commands were ignored) and fixed problem with some output not being displayed because output stream was not closed.

Posted by Miroslav Šulc 2008-08-03