>
> I think it is a good idea, but Christoph knows more than me about this part
> of the code (colors), so I think he should take the decision about it.
Applied, thanks!
--
Roberto E. Vargas Caballero
Received on Tue Jul 08 2014 - 22:49:39 CEST
This archive was generated by hypermail 2.3.0
: Tue Jul 08 2014 - 23:00:11 CEST