On Thu, Sep 13, 2018 at 08:41:49PM +0000, Holger Levsen wrote: > On Thu, Sep 13, 2018 at 10:28:18PM +0200, Santiago Vila wrote: > > Can we reassing this already, please? > > for those watching along: > - #93390 is closed. > - #888549 is assigned to chrome-gnome-shell I was referring to #888243, which is not a bug in base-files. Thanks.