Created by: philipp-spiess
Follow up to #37824
Reverts the lines that were automatically changed. I may have a wrong local IntelliJ setup.
Doc change
Merged by: philipp-spiess at 2022-06-28 13:32:56 UTC