Subject: No longer reproducible

From: Tristan Miller <[email-masked]>
Date: Thu, 30 Jul 2020 10:09:46 +0200

This problem is no longer reproducible; the Tumbleweed packages
from the "heuler" nightly repository install and run just fine.  This
bug can be closed.