On 2015-12-08 00:19, Xinyue Lu wrote:
> I spend some time investigating this issues.
>
> It turns out glx-alternative-{...} is not installed. That's why when I
> remove glx-diversions the file went back.How did you get into this situation in the first place? > $ sudo aptitude install glx-diversions --without-recommends It that is the only way to reproduce this, I won't consider this as a bug. Andreas

