From 0bef41c36735808c39706fdd00d68645eb0d0745 Mon Sep 17 00:00:00 2001
From: Travis CI <travis@travis-ci.org>
Date: Sun, 28 Apr 2019 21:47:55 +0200
Subject: [PATCH] Travis build:

---
 devel/devel20190428-full.bin | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 devel/devel20190428-full.bin

diff --git a/devel/devel20190428-full.bin b/devel/devel20190428-full.bin
new file mode 100644
index 0000000..02e8202
--- /dev/null
+++ b/devel/devel20190428-full.bin
@@ -0,0 +1 @@
+push.sh