From bbf6f356c119d26febf2c6aa562c87f72d7254ca Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Tue, 10 Dec 2019 15:10:15 +0100
Subject: [minilinux] Remove debug output

---
 modules-available/minilinux/inc/minilinux.inc.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/modules-available/minilinux/inc/minilinux.inc.php b/modules-available/minilinux/inc/minilinux.inc.php
index ca81eafa..005b81fa 100644
--- a/modules-available/minilinux/inc/minilinux.inc.php
+++ b/modules-available/minilinux/inc/minilinux.inc.php
@@ -23,7 +23,6 @@ class MiniLinux
 	{
 		$stamp = time();
 		$last = Property::get(self::PROPERTY_KEY_FETCHTIME);
-		error_log('Last: ' . $last);
 		if ($last !== false && $last + 10 > $stamp)
 			return 0; // In progress...
 		Property::set(self::PROPERTY_KEY_FETCHTIME, $stamp, 1);
-- 
cgit v1.2.3-55-g7522