On 08/20/2014 08:27 AM, Michael Paquier wrote:
> Hi all,
>
> Since commit 9f9019b that has been merged yesterday into master, build
> of pgjdbc is broken.
Taking a look now. Odd - did I fail to push a final fixup before the merge?
--
Craig Ringer http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services