Daniel Hartwig <[email protected]> writes:
> Patch with .texi updated also.

Applied, thanks! :)

     Mark

Reply via email to