[pgjdbc/pgjdbc] f28a57: Introduce AutoSave = SERVER functionality

Branch: refs/heads/sql07-autosave-statement-rollback
  Home:   https://github.com/pgjdbc/pgjdbc
  Commit: f28a5726d5c25701cf4743a1a6adde12c2796d3e
      https://github.com/pgjdbc/pgjdbc/commit/f28a5726d5c25701cf4743a1a6adde12c2796d3e
  Author: Nikhil Sontakke <nikhils@2ndQuadrant.com>
  Date:   2018-05-31 (Thu, 31 May 2018)

  Changed paths:
    M README.md
    M docs/documentation/head/connect.md
    M pgjdbc/src/main/java/org/postgresql/core/ServerVersion.java
    M pgjdbc/src/main/java/org/postgresql/core/v3/ConnectionFactoryImpl.java
    M pgjdbc/src/main/java/org/postgresql/core/v3/QueryExecutorImpl.java
    M pgjdbc/src/main/java/org/postgresql/jdbc/AutoSave.java
    M pgjdbc/src/main/java/org/postgresql/jdbc/BatchResultHandler.java
    M pgjdbc/src/test/java/org/postgresql/test/jdbc2/AutoRollbackTestSuite.java
    A pgjdbc/src/test/java/org/postgresql/test/jdbc2/BatchAutoSaveTest.java
    M pgjdbc/src/test/java/org/postgresql/test/jdbc2/Jdbc2TestSuite.java

  Log Message:
  -----------
  Introduce AutoSave = SERVER functionality

If the Postgres server (11.0 and above) supports transaction
level rollback functionality, then instead of using JDBC side
manual savepoints in AutoSave=ALWAYS mode, use the server
side implementation. This patch introduces a new option for
AutoSave: SERVER for the same. Patch also includes relevant
test cases (BatchAutoSaveTest.java) and documentation changes


  Commit: 448b981ff1676bd8f204c612d4e98106c5850196
      https://github.com/pgjdbc/pgjdbc/commit/448b981ff1676bd8f204c612d4e98106c5850196
  Author: Craig Ringer <craig@2ndquadrant.com>
  Date:   2018-07-30 (Mon, 30 Jul 2018)

  Changed paths:
    M pgjdbc/src/main/java/org/postgresql/PGProperty.java

  Log Message:
  -----------
  Autosave patch failed to amend PGProperty.AUTOSAVE


Compare: https://github.com/pgjdbc/pgjdbc/compare/f28a5726d5c2^...448b981ff167
      **NOTE:** This service has been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.