1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-27 12:41:57 +03:00

Stamp HEAD as 11devel.

Note that we no longer require any manual adjustments to shared-library
minor version numbers, cf commit a3bce17ef.  So this should be everything.
This commit is contained in:
Tom Lane
2017-08-14 18:08:30 -04:00
parent 21d304dfed
commit 9f14dc393b
8 changed files with 23 additions and 23 deletions

View File

@ -27,7 +27,7 @@ System Configuration:
Operating System (example: Linux 2.4.18) :
PostgreSQL version (example: PostgreSQL 10beta3): PostgreSQL 10beta3
PostgreSQL version (example: PostgreSQL 11devel): PostgreSQL 11devel
Compiler used (example: gcc 3.3.5) :