Module Version: 10.5.0
Puppet Version: 6.15.0
OS Name/Version: Debian 10
Describe your issue in as much detail as possible...
If one uses the same values for the override_options of class mysql:;server, managed_dirs will fail with duplicate resources.
I think it's not a valid assumption that all options path will have unique values.