Bertram25/mana — comment on commit 57a0dda502c56b5d22a80ddfaacf0d62470d91b8
File:  line 0
By Bertram25:

Ok,

Then I should simply remove the enum value, I guess?

Also, would it be ok with the change requested?