Sebastian Huber e1e04083e3 eng: Partially revert previous commit
The previous commit contained more than just a typo fix.  Remove this
part.

Update #3715.
2020-08-06 09:16:55 +02:00
..