From 7e4b9c7d5c8a26341aa7dce100786bfa8f2ea69a Mon Sep 17 00:00:00 2001
From: Potassco Bot <bot@potassco.org>
Date: Fri, 14 Sep 2018 19:54:41 +0200
Subject: [PATCH] =?UTF-8?q?Add=20file=20=E2=80=9Ctest-result/test=E2=80=9D?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit