Merge pull request #4557 from mwichmann/modifiable-add-option
commit70cfb31b03cc9c3b84f5ef2d304730b0cbb06d50
authorWilliam Deegan <bill@baddogconsulting.com>
Sun, 23 Jun 2024 23:09:48 +0000 (23 16:09 -0700)
committerGitHub <noreply@github.com>
Sun, 23 Jun 2024 23:09:48 +0000 (23 16:09 -0700)
tree72a8d809f91e20b997b132aef4828ff076dd225e
parent955053c581d617926bbbd1a37318f433f0b34dcd
parent25c015ce10b68e40720af616237411c0b5e26953
Merge pull request #4557 from mwichmann/modifiable-add-option

AddOption now recognizes "settable" option