[PUSHED] Re: [PATCH] fdo#35042: previous color applied instead of latest "no fill" for "highlighting"

[Michael Stahl]

On 09/04/12 07:09, Aldo Román Nureña wrote:
> Patch to fix the 35042 bug. As mentioned on the report:

hi Aldo,

thanks, that looks good, pushed to master.

in the git commit message please use the same style for bug numbers as
in the subject of this mail, because that will cause the bugzilla to
automatically be notified of the commit.

regards,
 michael