Hi Harald, s/doumentation/documentation/
in the commit's title. 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
