Processed: Re: Processed (with 1 error): Re: fonts-font-awesome: unable to delete old directory '/usr/share/fonts/truetype/font-awesome'

Debian Bug Tracking System owner at bugs.debian.org
Fri Jun 22 23:21:06 BST 2018


Processing commands for control at bugs.debian.org:

> severity 898522 normal
Bug #898522 [fontconfig] fonts-font-awesome: unable to delete old directory '/usr/share/fonts/truetype/font-awesome'
Severity set to 'normal' from 'important'
> merge 897040 898522
Bug #897040 [fontconfig] fontconfig: .uuid files in font directories not removed during purge
Bug #898522 [fontconfig] fonts-font-awesome: unable to delete old directory '/usr/share/fonts/truetype/font-awesome'
Marked as found in versions fontconfig/2.13.0-4.
Added tag(s) fixed-upstream.
Merged 897040 898522
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
897040: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=897040
898522: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=898522
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the Pkg-freedesktop-maintainers mailing list