thanks very much Lars,
On 24/06/2018 9:46 pm, Lars Kruse wrote:
Thus the package maintainer took the shortcut of fixing the cause ("do not
create the unwanted directory anymore"), but he did not revert the caused damage
("remove the unwanted directory if it is there"):
yes, agreed.
The foll
Hi Calum,
thank you for reporting your state of the things so quickly!
Am Sat, 23 Jun 2018 23:45:40 +0100
schrieb Calum Mackay :
> > This is probably
> > https://bugs.debian.org/853848https://bugs.debian.org/853848, fixed by
> > upgrading/removing:
> > fonts-beng-extra
> > fonts-deva-extr
This is probably https://bugs.debian.org/853848https://bugs.debian.org/853848,
fixed by upgrading/removing:
fonts-beng-extra
fonts-deva-extra
fonts-gujr-extra
fonts-guru-extra
fonts-orya-extra, fixed by upgrading/removing:
Debian bug 853848 was fixed a year ago, so upgrading won't h
On 23/06/2018 11:45 pm, Calum Mackay wrote:
/usr/share/fonts/truetype/fonts-guru-extra/
/usr/share/fonts/truetype/fonts-orya-extra/
/usr/share/fonts/truetype/fonts-deva-extra/
/usr/share/fonts/truetype/fonts-gujr-extra/
/usr/share/fonts/truetype/fonts-beng-extra/
these
4 matches
Mail list logo