Use pretty name in list to cater for mixed-case names; add as optional field.#49
Merged
danielbachhuber merged 1 commit intomasterfrom Nov 5, 2017
Merged
Use pretty name in list to cater for mixed-case names; add as optional field.#49danielbachhuber merged 1 commit intomasterfrom
danielbachhuber merged 1 commit intomasterfrom