Subject: Re: [bug#33725] [PATCH] gnu: llvm-rtti: Remove it.
From: Christopher Baines <[email-masked]>
To: [email-masked]
Date: Sun, 10 Feb 2019 10:10:36 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Staging has been merged, so this bug can be closed now.