--- distinfo.orig       2019-11-22 15:48:50.052661000 +0200	
+++ distinfo.orig       2019-11-22 15:48:50.052661000 +0200	
@@ -1,3 +1,3 @@ 
-TIMESTAMP = 1574430597
-SHA256 (adminer-4.7.5.php) = 857351da4d8963ad5621f1a696bd2396b3c28d7f41284ab741fed65dec95539c
-SIZE (adminer-4.7.5.php) = 489076
+TIMESTAMP = 1572098178
+SHA256 (adminer-4.7.4.php) = b8c4e0c6f7dfd9b7a7421be17ec5d6b1259e180d5ff4b79645621ce1d5575e66
+SIZE (adminer-4.7.4.php) = 485037