Disallow `default_value` and `required` for Option#88

Merged

TeXitoi merged 2 commits into

TeXitoi:masterfrom

Kerollmops:no-default-for-option

Apr 6, 2018

Commits on Apr 2, 2018

Disallow `default_value` and `required` on options
Kerollmops
committed
Add a line about `default_value` and `required` for Option in the changelog
Kerollmops
committed