On Thursday 26 of June 2014, Paul Smith wrote: > On Thu, 2014-06-26 at 18:44 +0200, Lubos Lunak wrote: > > Caveats: > > - Compiles with and without colors are considered different from each > > other (so they are "duplicated"). > > This doesn't seem ideal, does it? No, it doesn't seem ideal. It doesn't seem easy to avoid either. -- Lubos Lunak