Subject: bug#33400: Merge with bug#30008?

From: Kévin Le Gouguec <[email-masked]>
Date: Fri, 26 Apr 2019 19:46:10 +0200

Hi,

I just saw Mark's bump by chance; this reminds me of a report I made a
year ago (bug#30008), which went unnoticed AFAICT.  Are these two issues
related?  If that's the case, I guess they could be merged.