[Tutti-commits] 01/01: Revert "fixes #8335"