Skip to content

doc: fix name to match git log

Rodrigo Muino Tomonari requested to merge github/fork/eljefedelrodeodeljefe/doc/fix-name into master
Affected core subsystem(s)

doc

Description of change

fix name to match git log

Git logs print my full name Robert Jefe Lindstaedt. When I did #6389 I forgot simply forgot it.

Sorry for the noise. It was very early back then :)

Merge request reports