moench: insignficant naming fix

This commit is contained in:
2020-03-03 16:07:37 +01:00
parent 8abc32e7f1
commit fac95516cf
2 changed files with 1 additions and 1 deletions