[BIGTOP-2914] GPDB 5.1.0 has been release. Let's bump that

• Type: Improvement
• Status: Resolved
• Priority: Major
• Resolution: Won't Fix
• Affects Version/s: 1.2.0
• Fix Version/s: 1.3.0
• Assignee: Anton Chevychalov
• Reporter: Anton Chevychalov
• Created: 23/Oct/17 08:57
• Updated: 01/Dec/17 19:51
• Resolved: 05/Nov/17 17:03

Description

There is new minor release of GPDB. https://github.com/greenplum-db/gpdb/releases/tag/5.1.0

Let's bump our version of GPDB.

Issue Links

• links to: GitHub Pull Request #299