Hi Miguel, Tassilo Horn <t...@gnu.org> writes:
> Arash Esbati <ar...@gnu.org> writes: > >> which looks reasonable to me. What do others think? > > Yes, it's more visible than before. Fine with me. I just installed that change under your name, commit bebb48dd34. Many thanks for your contribution. Best, Arash
