commit | 7bd9cdf6fcf43e0edc8ab3a4accf2009ca5aa35e | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Oct 21 08:23:48 2021 +0000 |
committer | nicm <nicm> | Thu Oct 21 08:23:48 2021 +0000 |
tree | f32a866d9dd8e47dd123dcc30d8c18933f83b405 | |
parent | acba07629ebf2dc2f0c316f110493e720b30757c [diff] |
Show error if user option doesn't exist, GitHub issue 2938.