Subject: bug#42169: is a duplicate to bug#28640

From: Harald Jörg <[email-masked]>
Date: Wed, 26 Aug 2020 17:44:44 +0200

Only now I noticed that the same bug had already been reported
in Bug#28640.