Closed hp197 closed 7 years ago
I now see the configuration options of this change may conflict a bit with #17 (especially the naming).
is #17 ever going to be merged with master? If so, it would be a good thing to change the name of the configuration items. Any suggestions?
Jenkins standing by to test this. If you aren't a maintainer, you can ignore this comment. Someone with commit access, please review this and clear it for Jenkins to run; then say 'jenkins, test it'.
A real life shortcoming solved.