On 9/14/20 4:02 PM, Richard Henderson wrote:
> +option('capstone', type: 'combo', value: 'no',
> + choices: ['no', 'yes', 'auto', 'system', 'internal'],
> + description: 'Whether and how to find the capstone library')Dangit, meant to change value: back to 'auto'. r~
