Giuseppe Scrivano writes:
Ángel González<[email protected]> writes: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
:) No problem. We also need to do our part in having them do the Right Thing™ Thanks Giuseppe. Best
