José Matos wrote: > If other title translations are added to doc_toc.py that should be reported > in status.15x. This patch is just an internal fix and since this does not > change any output, I have not filled any new entry to status.15x. > > I hope this is OK. :-)
Fine with me. Jürgen
