Daniel Hartwig <mand...@gmail.com> writes:
> Patch with .texi updated also.

Applied, thanks! :)

     Mark

Reply via email to