From b22d7c74b627ea36a2764efe18d4e3340a14bd10 Mon Sep 17 00:00:00 2001 From: Antoine Brodin Date: Fri, 17 Nov 2017 06:31:37 +0000 Subject: [PATCH] Remove duplicate port Pointy hat: tz --- databases/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/databases/Makefile b/databases/Makefile index 9c5f0b181ca7..aa080ba68984 100644 --- a/databases/Makefile +++ b/databases/Makefile @@ -652,7 +652,6 @@ SUBDIR += php71-pdo_sqlite SUBDIR += php71-pgsql SUBDIR += php71-sqlite3 - SUBDIR += php72-pdo SUBDIR += php72-dba SUBDIR += php72-interbase SUBDIR += php72-mysqli