Hi Carsten, Carsten Dominik <domi...@uva.nl> writes:
> yes, keeping the color would be good, this can make reading these > strings much easier. That's what is done, as of 7a12e1499, just committed in master. Thanks for insisting on this! -- Bastien
Hi Carsten, Carsten Dominik <domi...@uva.nl> writes:
> yes, keeping the color would be good, this can make reading these > strings much easier. That's what is done, as of 7a12e1499, just committed in master. Thanks for insisting on this! -- Bastien