On 08/18/2015 02:47 PM, Manuel López-Ibáñez wrote:
Sorry, I did it before I read your message. For the future, I would advise to "Just Do It" and then say that you did it. It is a wiki, it can always be reverted if someone disagrees.
Sure, I have no problem with the paternity of this change. ;-) Thank you! I will "just do it" next time.
-- Pierre-Marie de Rodat