>>>>> Steinar Bang <[email protected]>: > So for now I have the following plan: > 1. Add the workaround stuff to my feature so that it will work with the > current version of the PostgreSQL JDBC driver > 2. Open an issue for the the missing header in the PostgreSQL JDBC > driver issue tracker[3]
The issue is now in place: https://github.com/pgjdbc/pgjdbc/issues/1029
