Subject: Re: [bug#33725] [PATCH] gnu: llvm-rtti: Remove it.

From: Christopher Baines <[email-masked]>
Date: Sun, 10 Feb 2019 10:10:36 +0000

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