From 2e40c8dfdd70ab4e8dda9cfec8d23a645d18cc22 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 22 Jun 2018 14:18:11 +0200
Subject: buildmaster/gpg-keys.php: do not include twice

---
 buildmaster/gpg-keys.php | 2 --
 1 file changed, 2 deletions(-)

(limited to 'buildmaster/gpg-keys.php')

diff --git a/buildmaster/gpg-keys.php b/buildmaster/gpg-keys.php
index 0dc4594..ae82a5d 100644
--- a/buildmaster/gpg-keys.php
+++ b/buildmaster/gpg-keys.php
@@ -2,8 +2,6 @@
 require_once "../init.php";
 require_once BASE . "/lib/mysql.php";
 
-  include "lib/mysql.php";
-
   $result = mysql_run_query(
     "SELECT" .
     " GROUP_CONCAT(`email_actions`.`name`) AS `action`," .
-- 
cgit v1.2.3-70-g09d2