Subject: Re: Missing icons in GNOME Shell since core-updates merge
From: Mark H Weaver <[email-masked]>
To: [email-masked]
Date: Tue, 30 Apr 2019 22:56:37 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

This issue was fixed when 'staging' was merged into master, so I'm
closing this bug.

      Mark