Skip to content

config: Be consistent about Option

Ian Jackson requested to merge Diziet/arti:option into main

This resolves #488 (closed) in the manner proposed there.

Point 1 requires an API change. There is no change needed for point 2. Point 3 is just docs.

Merge request reports