Hi Andre,
Am 16.08.24 um 07:46 schrieb Andre Vehreschild:
Hi Harald,
s/doumentation/documentation/
in the commit's title.
oops! Thanks for pointing this out.
Fixed and pushed as r15-2955-g07ece73d4712c6 .
Harald
Thanks for the patch, ok to commit.
- Andre
On Thu, 15 Aug 2024 22:37:53 +0200
Harald Anlauf <anl...@gmx.de> wrote:
Dear all,
here's a documentation bugfix. The previous wording was in conflict
with the standard, while the runtime behavior is apparently fine.
Checked with make dvi pdf .
OK for mainline?
Thanks,
Harald
--
Andre Vehreschild * Email: vehre ad gmx dot de
