From 54808e78d0c8f9b67baffc1d90d765133cee0815 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Renaudeau?= <renaudeau.gaetan@gmail.com>
Date: Thu, 13 Aug 2020 21:48:34 +0200
Subject: [PATCH] tap bot to inform that the bug was fixed

@chaintip fixes #980