Merge pull request #9192 from omoerbeek/rec-depth-incr
authorOtto Moerbeek <otto.moerbeek@open-xchange.com>
Wed, 3 Jun 2020 10:58:51 +0000 (12:58 +0200)
committerGitHub <noreply@github.com>
Wed, 3 Jun 2020 10:58:51 +0000 (12:58 +0200)
rec: Correct depth increments.


Trivial merge