Public Git Hosting - scons.git/commit

commit	5d453c2200bfd5085514916600f5780b1e7d5488
author	William Deegan <bill@baddogconsulting.com>
	Mon, 16 Sep 2024 02:31:16 +0000 (15 19:31 -0700)
committer	GitHub <noreply@github.com>
	Mon, 16 Sep 2024 02:31:16 +0000 (15 19:31 -0700)
tree	aa61e200308bae80c07a73794b39e9c394c17b61	tree \| snapshot (tar.gz zip)
parent	4e005ff9bc8ec2022f3063238a02bb7b1e9a2975	commit \| diff
parent	421d586c7f3f5e3db8cf31e7b03161af19f73759	commit \| diff

Merge pull request #4596 from mwichmann/AddOption-option-obj

Fix some AddOption issues