Ángel González <[email protected]> writes: > Giuseppe Scrivano wrote: >> Hi Ángel, >> >> >> thanks for the suggestion, it looks fine to me. I already pushed the >> patch, could you prepare a new one that adds this part? >> >> Regards, >> Giuseppe > Sure. This was actually a diff against the file in master, so if you > are ok with the contents, > it only needed a commit log.
thanks, recommendations for users are never enough :) I have shortened the commit message and pushed it. Giuseppe
