Re: cairo now default?

[Robert Pluim]

>>>>> On Tue, 28 Jan 2020 16:47:47 +0000, Colin Baxter <address@hidden> said:

    Colin> But there is a difference - slight perhaps - and I think some users 
will
    Colin> notice and wonder why. Should they not be forewarned of the 
possibility,
    Colin> or do you think that might cause even more confusion?

Iʼm in the "leave it alone" camp, rather than talking about possible
display artifacts that people may not see (and, cynically, people
donʼt read NEWS before complaining anyway, the same way they donʼt
read PROBLEMS or look in the bug database).

Robert